Shiu-Kai Chin. Experience extending VLSI design with mathematical logic. In 1997 IEEE International Conference on Microelectronic Systems Education, MSE '97, Arlington, VA, USA, July 21-23, 1997. pages 11-12, IEEE Computer Society, 1997. [doi]
Abstract is missing.