CITATION STYLE
Johannsen, P., & Drechsler, R. (2002). Speeding Up Verification of RTL Designs by Computing One-to-One Abstractions with Reduced Signal Widths (pp. 361–374). https://doi.org/10.1007/978-0-387-35597-9_31
Mendeley helps you to discover research relevant for your work.