Formal Proof of Correspondence Between the Specification of a Hardware Module and its Gate Level Implementation (1985)

by C H Pygott
Venue:Report 85002, Royal Signals and Radar Establishment, Malvern, Worcestershire (United Kingdom