Home > Community > Forums > Functional Verification Shared Code > Sudoku solver using Incisive Enterprise Verifier (IEV) and Assertion-Driven Simulation (ADS)

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Sudoku solver using Incisive Enterprise Verifier (IEV) and Assertion-Driven Simulation (ADS) 

Last post Tue, Dec 13 2011 12:29 PM by TeamVerify. 0 replies.
Started by TeamVerify 13 Dec 2011 12:29 PM. Topic has 0 replies and 13828 views
Page 1 of 1 (1 items)
Sort Posts:
  • Tue, Dec 13 2011 12:29 PM

    • TeamVerify
    • Not Ranked
    • Joined on Tue, Apr 6 2010
    • <?xml version="1.0" encoding="utf-16"?><string>San Jose, CA</string>
    • Posts 1
    • Points 615
    Sudoku solver using Incisive Enterprise Verifier (IEV) and Assertion-Driven Simulation (ADS) Reply
    Just in time for the holidays, inside the posted tar ball is some code to solve 9x9 Sudoku puzzles with the Assertion-Driven Simulation (ADS) capability of Incisive Enterprise Verifier (IEV). Enjoy! Joerg Mueller Solutions Engineer for Team Verify
    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by TeamVerify at 13 Dec 2011 12:29 PM. Topic has 0 replies.