Creating Assertion-Based IP - Foster, Harry D.; Krolnik, Adam C.; SpringerLink (Online service) (New York, NY : Springer US : Imprint: Springer, 2008)
Definitions and Terminology -- The Process -- Bus-Based Design Example -- Interfaces -- Arbiters -- Controllers -- Datapath.
Keywords: Electronic circuits; Computer-aided engineering; Electrical engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering