Browsing by Author Lei, Chi-Un

In order:
Results/Page
Authors/Record:
Showing results 1 to 3 of 3
DateTitleAuthor(s)Type
2016PAFSV: a formal framework for specification and analysis of SystemVerilogMan, Ka Lok; Lei, Chi-Un; Kapoor, Hemangee K; Ma, Jieming; Zhang, Nan; Krilavičius, TomasStraipsnis Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or / and Scopus (S1)
2014Specification and analysis of null convention logic (NCL) circuits using PAFSVWan, Kaiyu; Liu, Dawei; Guo, Yu; Ting, T. O.; Lim, Eng Gee; Ma, Jieming; Zhang, Nan; Lei, Chi-Un; Man, Ka Lok; Krilavičius, TomasStraipsnis / Article
2014Specification and analysis of null convention logic (NCL) circuits using PAFSVMan, Ka Lok; Zhang, Nan; Lei, Chi-Un; Lim, Eng Gee; Ting, T. O; Wan, Kaiyu; Ma, Jieming; Liu, Dawei; Guo, Yu; Krilavičius, TomasStraipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)