Analyzing and verifying locally clocked circuits with the concurrency workbench.

Garth Baulch David Hemmendinger Cherrice Traver Analyzing and verifying locally clocked circuits with the concurrency workbench. 144-147 1995 conf/glvlsi/1995 Great Lakes Symposium on VLSI http://csdl.computer.org/comp/proceedings/glsvlsi/1995/7035/00/70350144abs.htm db/conf/glvlsi/glvlsi1995.html#BaulchHT95