Travelled to:2 × USA
Collaborated with:R.K.Brayton A.L.Sangiovanni-Vincentelli A.Aziz R.K.Ranjan T.R.Shiple F.Balarin R.Hojati T.Kam S.C.Krishnan V.Singhal S.Tasiran H.Wang G.D.Hachtel F.Somenzi S.A.Edwards S.P.Khatri Y.Kukimoto A.Pardo S.Qadeer S.Sarwary G.Swamy T.Villa
Talks about:verif (2) synthesi (1) environ (1) system (1) formal (1) hsis (1) base (1) vis (1) bdd (1)
Person: Szu-Tsung Cheng
DBLP: Cheng:Szu=Tsung
Contributed to:
1996
1994Wrote 2 papers:
- CAV-1996-BraytonHSSACEKKPQRSSSV #named #synthesis #verification
- VIS: A System for Verification and Synthesis (RKB, GDH, ALSV, FS, AA, STC, SAE, SPK, YK, AP, SQ, RKR, SS, TRS, GS, TV), pp. 428–432.
- DAC-1994-AzizBCHKKRSSTWBS #named #verification
- HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.