Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yung-Te Lai, Sarma Sastry, Massoud Pedram. Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992. pages 452-458, IEEE Computer Society, 1992.

This author has not been identified. Look up 'Yung-Te Lai' in GoogleThis author has not been identified. Look up 'Sarma Sastry' in GoogleThis author has not been identified. Look up 'Massoud Pedram' in Google

runs on WebDSL