Symbolic Modelling and Evaluation (1995)

by C Monahan, F Brewer
Venue:of Data Paths, 32nd Design Automation Conference (DAC