Formal verification of parameterized hardware designs (1985)

by S M German, Y Wang
Venue:Int. Conf. on Computer Design, IEEE