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 (Häftad). Springer International Publishing AG, 2016-09-24 Engelska.