Follow
( Publications: 29 | Followers: 0 )

Formal Verification of a System-on-Chip Bus Protocol

Formal Verification of a System-on-Chip Bus Protocol Abhik Roychoudhury Tulika Mitra S.R. Karri ... Inserts Wait cycle(s) by de-asserting HREADY * * Title:

Publish on Category: All 17

0

Embed

Share

Upload

Formal Verification of a System-on-Chip Bus Protocol