New Data Structures and Algorithms for Logic Synthesis and Verification | DealShopping Deutschland