Integrating Functional and Temporal Domains in Logic Design (1991)

by P C McGeer, R K Brayton