Title :
Synthesis of trustable ICs using untrusted CAD tools
Author :
Potkonjak, Miodrag
Author_Institution :
Comput. Sci. Dept., Univ. of California, Los Angeles, Los Angeles, CA, USA
Abstract :
We have developed the first technique for synthesis of trustable ICs using untrusted CAD tools. The approach enables the use of CAD tools for difficult synthesis tasks and very simple trusted tools developed by the designer for checking results and modifying specifications. The main idea is to specify the pertinent design in such a way that there is no room for the untrusted tool to add any malicious circuitry.
Keywords :
integrated circuit design; logic CAD; malicious circuitry; trustable IC synthesis; untrusted CAD tool; Circuit synthesis; Controllability; Delay; Design automation; Hardware; Integrated circuit synthesis; Invasive software; Job shop scheduling; Observability; Security; Hardware security; Trusted design;
Conference_Titel :
Design Automation Conference (DAC), 2010 47th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
978-1-4244-6677-1
