Rule Based Synthesis, Verification and Compensation of Data Paths (1984)

by S Takagi
Venue:Proc. IEEE Conf.Comp.Design (ICCD'84