![\"questa](\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2016\/07\/questa-reset-check-2dff-example.jpg\")
<\/a><\/p>\nCase 1:<\/strong> rst1 & rst2 are different asynchronous reset signals despite same clock \/ same<\/u> clock domain (i.e. clk1 = clk2)<\/p>\n Case 2:<\/strong> rst1 & rst2 are different asynchronous reset signals and clk1 and clk2 are in different<\/u> clock domains<\/p>\n Alternatively, to borrow from the DVCon USA 2016 paper on this subject, Reset and Initialization, the Good, the Bad and the Ugly<\/em> by Ping Yeung of Mentor Graphics and Kaowen Liu of MediaTek<\/a>, design registers can be sorted into three types: GOOD registers (those that are initialized properly), BAD registers (those that are not initialized) and UGLY registers (those that are initialized, but are subsequently corrupted).<\/p>\n The bottom line is that independent \u201creset domains\u201d can give rise to metastability and signal reconvergence issues similar to clock domain crossing (CDC) bugs. The proliferation of reset domains, and the increasing complexity of rest signaling topologies, means that manual inspection & verification is unsafe, creating considerable risk of unpredictable chip behavior when samples come back. Even worse, like with CDC, the metastability induced by mixing independent reset domains cannot be modeled accurately in simulation.<\/p>\n So what can be done?<\/p>\n \u201cSimple\u201d: leverage time-tested structural and formal CDC analysis techniques!<\/p>\n First, reset signaling networks look a lot like clock trees, giving rise to the concept of reset domains like is done for multiple clock signals in a CDC analysis. Plus, as with CDC verification, automated, exhaustive formal analysis can be applied. Building on over a decade of experience with formal-based CDC verification, Mentor has developed a fully automated formal solution that exhaustively verifies your reset signaling network.<\/p>\n Specifically, taking RTL as input, the Questa Reset Check app<\/a> automatically performs an exhaustive, bottom-up reset tree analysis \u2013 inferring all the reset structures of a design, including gating and control logic. The app then automatically generates and proves assertions that cover numerous reset-specific structural checks. No knowledge of formal or property specification languages is required.<\/p>\n The results include reports on the synchronicity, polarity and set\/reset functionality of all reset tree register nodes; any reset domain crossing (RDC) signals of adjacent registers within the same clock domain; and the complete matrix of clock and reset signals\u2019 relationships.<\/p>\n Back to our original example above, consider the following results where the detected violations are tabulated by the app:<\/p>\n The first class of error shown is the case where the IPs are in the same clock domain, but they are connected to different asynchronous reset signals. This is \u201cBAD\u201d and will lead to chip killing metastability on the reset signals.<\/p>\n Another violation reported by the tool in the lower part of the image are the cases where asynchronous and synchronous resets are wired up in the same clock domain. Depending on the design configuration, this might not be a bad thing \u2013 if this is OK the tool supports the creation of a \u201cwaiver\u201d so this connection is no longer marked as an error.<\/p>\n Like with CDC verification\u2019s many layers of complexity, these two cases are only the starting point of a proper reset signaling analysis — there are many other second order effects that Questa Reset Check<\/a> detects and reports. Only an exhaustive formal analysis can verify all of this with mathematical certainly, and thus the Questa Reset Check app<\/a> was created to help customers address these challenges.<\/p>\n <\/p>\n Are you seeing \u201creset domain crossing” (RDC) verification issues appearing in your SoC projects?\u00a0 Please share your thoughts in the comments below, or contact me offline.<\/p>\n Until next time, may your coverage be high and your power consumption be low,<\/p>\n Joe Hupcey III<\/p>\n <\/p>\n <\/p>\n References:<\/strong><\/p>\n DVCon USA 2016: Reset and Initialization, the Good, the Bad and the Ugly<\/em>, Ping Yeung Design & Verification Technology Mentor Graphics, Fremont, U.S.A. Kaowen Liu Design Technology Division MediaTek Inc, San Jose, U.S.A.<\/a><\/p>\n <\/p>\n<\/a><\/a><\/p>\n