Symbolic compaction with analog constraints (1995)

by E Malavasi, E Felt, E Charbon, A Sangiovanni-Vincentelli
Venue:Wiley Int. Journal Circuit Theory Applicat