1. System‐level assertions: approach for electronic system‐level verification. Issue 3 (1st May 2015) Authors: Sohofi, Hassan; Navabi, Zainalabedin Journal: IET computers & digital techniques Issue: Volume 9:Issue 3(2015) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗