Travelled to:2 × USA
Collaborated with:T.Aoyama A.Yamada M.Nomura N.Takano T.Sasaki K.Hasegawa S.Kato
Talks about:hierarch (2) system (2) verif (2) time (2) design (1) natur (1) digit (1) delay (1) larg (1) base (1)
Person: Shinichi Sato
DBLP: Sato:Shinichi
Contributed to:
19821981Wrote 2 papers:
- DAC-1982-NomuraSTAY #verification
- Timing verification system based on delay time hierarchical nature (MN, SS, NT, TA, AY), pp. 622–628.
- DAC-1981-SasakiYAHKS #design #scalability #verification
- Hierarchical design verification for large digital systems (TS, AY, TA, KH, SK, SS), pp. 105–112.