Smh A high level language for the design and verification of finite state machines (0)

by M C Browne, E M Clarke
Venue:In IFIP WG 10.2 International Working Conference .from HDL Descriptions to Guaranteed Correct Circuit Designs