Journal: ACM Trans. Design Autom. Electr. Syst.