TY - BOOK AU - Harry D. Foster, Adam C. Krolnik TI - Creating Assertion-Based IP SN - 978-0-387-68398-0 PY - 2008/// CY - New York PB - Springer New York KW - Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering ER -