blob: c8e165502b9f6dc7f9cd0b7cb81ffc944645ea15 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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)
|