av Williams, John Michael
A partial list of design topics includes design partitioning, hierarchy decomposition, safe coding styles, back annotation, wrapper modules, concurrency, race conditions, assertion-based verification, clock synchronization, and design for test.
BOK (Inbunden). Springer International Publishing AG, 2014-07-08 Engelska.