Title :
Integration of formal specification into the standard ASIC design flow
Author :
Haas, Werner ; Gossens, Stefan ; Heinkel, Ulrich
Author_Institution :
Inst. for Comput. Aided Circuit Design, Erlangen-Nurnberg Univ., Erlangen, Germany
Abstract :
This paper presents our approach to leverage formal methods in an industrial design environment by closing the gap between the specification and design phases. We achieve this goal by deriving behavioural VHDL models from a formal system specification in tabular form that is easily accessible to mathematical analysis.
Keywords :
application specific integrated circuits; circuit CAD; formal specification; hardware description languages; behavioural VHDL models; formal specification; industrial design environment; mathematical analysis; standard ASIC design flow; tabular form; Application specific integrated circuits; Circuit synthesis; Computer industry; Computer science; Electronics industry; Formal specifications; Mathematical analysis; Mathematical model; Natural languages; Systems engineering and theory;
Conference_Titel :
High Assurance Systems Engineering, 2002. Proceedings. 7th IEEE International Symposium on
Print_ISBN :
0-7695-1769-2
DOI :
10.1109/HASE.2002.1173122
