Circuit design in Ruby (1990)

by Geraint Jones, Mary Sheeran
Venue:Formal Methods for VLSI Design