The following documents are available for download:

  • White Paper - "Constraint Management"

  • A discussion of our solution for constraint mapping, promotion, demotion and equivalence verification

  • White Paper - "Constraint Verification"

  • A discussion of our formal and assertion-based constraint verification solution

  • White Paper - "Constraint Generation"

  • A discussion of our constraint generation capabilities

  • White Paper - "Mode Merging"

  • A discussion of our mode-merging solution

  • White Paper - "Delay Safe False Paths"

  • How do we ensure that all the exceptions we verify are safe from glitches

  • Formal Verification of MBIST MCPs

  • A joint Mentor Graphics/FishTail paper on the verification of MBIST MCPs

  • STARC Presentation at JEDAT EDA Fair 2010- "SDC Merge Advantage using FishTail"

  • Presentation from STARC summarizing their study of our mode merging solution

  • DAC User Track Presentation 2009 - "The Automatic Generation of Merged-Mode Design Constraints"

  • Presentation from TI summarizing their experience using our mode merging solution

  • Mode Merging Case Study - "Cutting P&R Runtimes in Half by Merging Modes into Super Modes"

  • Customer experience using our mode merging solution in P&R

Please provide us your e-mail address so we may send the requested documents to you:

     

Copyright FishTail Design Automation, All rights reserved