| 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=fa&show=full | |
| 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 | |