Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:homework-12 [2017/04/04 23:18]
egm [DumpDot for Graphing]
cs-486:homework-12 [2017/12/06 21:40] (current)
egm [DumpDot for Debugging]
Line 36: Line 36:
 Be sure to run '''​make clean'''​ first to remove any object files that may be build with your code. Be sure to run '''​make clean'''​ first to remove any object files that may be build with your code.
 ==DumpDot for Debugging== ==DumpDot for Debugging==
-Using bddToDot ​is not mandatory for completing the homework as it is very possible to test your results by traversing your unique table and comparing to expected answers. ​ That said, '''​it is still highly recommended'''​ as it is extremely helpful to analyze a visual representation of a BDD especially when debugging.  ​+Using '''​DumpDot''' ​is not mandatory for completing the homework as it is very possible to test your results by traversing your unique table and comparing to expected answers. ​ That said, '''​it is still highly recommended'''​ as it is extremely helpful to analyze a visual representation of a BDD especially when debugging.  ​
  
 CUDD provides a cofactor method that operates not just on a variable but any arbitrary function. The function ''​f.Restrict(g)''​ returns a new function that is ''​f''​ only variables in ''​f''​ are restricted to specific values which are those that allow ''​g''​ to be true on some assignment of the remaining variables (if at all possible). If you call restrict as CUDD provides a cofactor method that operates not just on a variable but any arbitrary function. The function ''​f.Restrict(g)''​ returns a new function that is ''​f''​ only variables in ''​f''​ are restricted to specific values which are those that allow ''​g''​ to be true on some assignment of the remaining variables (if at all possible). If you call restrict as
cs-486/homework-12.txt ยท Last modified: 2017/12/06 21:40 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0