OneSpin’s Register Checking App automatically generates formal assertions from a given register map specification in IP-XACT, and provides an exhaustive verification of all operational aspects, while cutting down on run-time. As some blocks may contain hundreds of registers, with a nested implementation to handle addressing, issues are hard to find using simulation, requiring long run time, while still not being exhaustive. A very common source of errors in a system is a mismatch between some aspect of the register hardware implementation and its specification. These registers are used to configure, control and monitor the operation of the block, often loaded or read from a system processor utilizing a related driver software function. Almost every block in an electronic design contains a series of registers.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |