Skip to content

Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits.

Jochen Bern, Christoph Meinel, Anna Slobodov

VenueA*DAC
Year1995
ProceedingsDAC

Browse the full DAC paper archive.