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?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 | |