Steering Committee
Publisher:
Year
: 2014DOI: 10.1109/DAAS.2014.6842445
Keyword(s): formal specification,n formal verification,n integrated circuit design,n program compilers,n specification languages,n system-on-chip,n CSLC,n SoC design,n chip specification language,n design specification,n high level design tool,n high level simulation model,n infrastructure compiler,n test benches,n verification infrastructure,n verification vectors,n Complexity theory,n Design methodology,n Graphical user interfaces,n Hardware design
Collections
:
-
Statistics
Steering Committee
Show full item record
| date accessioned | 2020-03-12T22:00:47Z | |
| date available | 2020-03-12T22:00:47Z | |
| date issued | 2014 | |
| identifier other | 6970616.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1068373?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Steering Committee | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8203428 | |
| subject keywords | formal specification | |
| subject keywords | n formal verification | |
| subject keywords | n integrated circuit design | |
| subject keywords | n program compilers | |
| subject keywords | n specification languages | |
| subject keywords | n system-on-chip | |
| subject keywords | n CSLC | |
| subject keywords | n SoC design | |
| subject keywords | n chip specification language | |
| subject keywords | n design specification | |
| subject keywords | n high level design tool | |
| subject keywords | n high level simulation model | |
| subject keywords | n infrastructure compiler | |
| subject keywords | n test benches | |
| subject keywords | n verification infrastructure | |
| subject keywords | n verification vectors | |
| subject keywords | n Complexity theory | |
| subject keywords | n Design methodology | |
| subject keywords | n Graphical user interfaces | |
| subject keywords | n Hardware design | |
| identifier doi | 10.1109/DAAS.2014.6842445 | |
| journal title | earable and Implantable Body Sensor Networks Workshops (BSN Workshops), 2014 11th International Conf | |
| filesize | 42244 | |
| citations | 0 |