Please select the content you’d like to view and provide us your email address so we may send you the resources. FishTail 2020.06 Constraint Management White paper on our constraint management solution. Constraint Verification White paper on our constraint verification solution. Constraint Generation White paper on our constraint generation capabilities. RTL Glitch Verification White paper on our glitch-verification solution. Mode Merging White paper on our mode-merging solution. Delay Safe False Paths Discussion on how FishTail's RTL exception verification and generation is safe and correct regardless of reconvergent logic or synthesis transformations. Formal Verification of MBIST MCPs White paper on using Confirm to verify MBIST MCPs. Significantly Improving Place & Route Runtime by Minimizing Clocks/Register Presentation from TI on improving P&R runtimes by using FishTail Focus. Achieving ROI through an Automated Hybrid Approach to Timing Exception Verification White paper on using Confirm to verify MBIST MCPs. SDC merge advantage using FISHTAIL tool Presentation from STARC summarizing their study of FishTail's mode merging solution. The Automatic Generation of Merged-Mode Design Constraints DAC User Track presentation from TI summarizing their experience with FishTail's mode merging solution. Cutting P&R Runtimes in Half by Merging Modes into Super-Modes Summary of a customer experience with using FishTail merged constraints to drive P&R. QoR Impact of FishTail Generated Timing Exceptions Customer data summarizing the impact of adding FishTail generated exceptions to the implementation flow Formal Lint Issues A description of the issues flagged as part of formal constraint lint Name* First Last Email* Company
