Contract-based system-level composition of analog circuits.

Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.