Copyright © 2005-2007
by
ESLX Inc.
All rights reserved.

mail Webmaster

SystemC Verification Services

Verification services provide a means to accelerate the functional verification of your system or asic design. ESLX provides faster verification using modern functional verification techniques such as assertions, constrained randomization, and temporal checks! We work with your team to create a verification plan, and then put our experts to work quickly creating a verification suite to ensure project success. We utilize the very best design practices to create a verification environment that meets your current project needs and is an excellent starting point for future designs.

All of our employees and sub-contractors have been thoroughly interviewed and trained through our training classes and seminars. Additionally, we have a documented and rigorous review process to assure your project and team of the highest quality models.

Technique
  • Assertions monitor design intent
  • Constrained randomization stresses the design more to catch unexpected combinations
  • Let us do some of the work for you and mentor your team at the same time
  • Verification Plan
    • Know you're done
    • Know what to verify
    • Contain the risks
    • Control costs and schedule
  • Busses
    • Monitor traffic rates
    • Watch for bottlenecks
    • Track transactions

    Regression

    • Self-checking ensures failures are prominent. No more wondering if you missed an error message.
    • Automate running the entire test suite to verify last minute changes

    Contact ESLX to learn more about achieving excellence in verification.