related documents

• Approximate reachability don't cares for CTL model checking  Conference Proceeding
• On the optimization power of retiming and resynthesis transformations  Conference Proceeding
• Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits  Conference Proceeding