Travelled to:1 × USA
Collaborated with:R.K.Brayton A.Aziz F.Balarin S.Cheng R.Hojati T.Kam S.C.Krishnan R.K.Ranjan T.R.Shiple V.Singhal S.Tasiran A.L.Sangiovanni-Vincentelli
Talks about:permiss (1) network (1) environ (1) observ (1) formal (1) verif (1) relat (1) hsis (1) base (1) fsm (1)
Person: Huey-Yih Wang
DBLP: Wang:Huey=Yih
Contributed to:
1994Wrote 2 papers:
- 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.
- DAC-1994-WangB #automaton #network
- Permissible Observability Relations in FSM Networks (HYW, RKB), pp. 677–683.