diff options
Diffstat (limited to 'books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/genoc/circuit-XY-2Dmesh/GeNoC.lisp')
| -rw-r--r-- | books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/genoc/circuit-XY-2Dmesh/GeNoC.lisp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/genoc/circuit-XY-2Dmesh/GeNoC.lisp b/books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/genoc/circuit-XY-2Dmesh/GeNoC.lisp new file mode 100644 index 0000000..c8e1655 --- /dev/null +++ b/books/workshops/2009/vandenbroek-schmaltz/GeNoC/instantiations/genoc/circuit-XY-2Dmesh/GeNoC.lisp @@ -0,0 +1,15 @@ +#|$ACL2s-Preamble$; +(begin-book);$ACL2s-Preamble$|# + +(in-package "ACL2") + +(include-book "../../../generic-modules/GeNoC") +(include-book "../../network/2Dmesh/network") +(include-book "../../departure/simple/departure")#|ACL2s-ToDo-Line|# + +(include-book "../../router/XY-circuit/router") + +(instantiateStepnetwork_t INST XY-circuit) +(instantiateStepnetwork INST) +(instantiateGenoc_t INST simple) +(instantiateGenoc INST 2dmesh)
\ No newline at end of file |