Integration of Formal Specification into the Standard ASIC Design Flow.

Werner Haas Stefan Gossens Ulrich Heinkel Integration of Formal Specification into the Standard ASIC Design Flow. 189-194 2002 conf/hase/2002 HASE http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690189abs.htm db/conf/hase/hase2002.html#HaasGH02