Browsing by Author
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2017-01-10 | VerilCIRC Metrics : Metric-aware verification of digital circuits | Rubio Manrique, Enric; Universitat Oberta de Catalunya; Viejo, Alexandre; Baneres, David |