Login / Signup

Software synthesis from synchronous specifications using logic simulation techniques.

Yunjian JiangRobert K. Brayton
Published in: DAC (2002)
Keyphrases