Login / Signup
Zhi Jie Dong
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Ghiath Al Sammane
,
Mohamed H. Zaki
,
Zhi Jie Dong
,
Sofiène Tahar
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.
FDL
(2007)