Title :
Verification of configurable processor cores
Author :
Puig-Medina, Marinés ; Ezer, Gülbin ; Konas, Pavlos
Author_Institution :
Tensilica, Inc.
Keywords :
Automatic programming; Design methodology; Hardware design languages; Permission; Process control; Process design; Space exploration; System testing; System-on-a-chip; Time to market;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855349