Dear Robert,
I also do not know about any usage of Gecode for Verilog constraints. Sorry! Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, [email protected] Expert Researcher, SICS, [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of Robert Palermo Sent: Wednesday, June 03, 2015 2:22 AM To: [email protected] Subject: [gecode-users] Verilog Constraints I work for a small EDA company that simulates Verilog designs. One feature of Verilog is a rich capability for expressing constraints on sets of variables. We can currently handle simple constraint sets but believe it will be beyond our resources to develop in house, a sophisticated constraint solver. Gecode caught my eye as a possibility. Our code base is C/C++. I was wondering if anyone here has successfully used Gecode to solve Verilog constraints? Thanks, Bob P
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
