summaryrefslogtreecommitdiff
path: root/chip_design
diff options
context:
space:
mode:
authorKoen van der Heijden <koen.vd.heijden1@gmail.com>2016-12-11 17:16:19 +0100
committerKoen van der Heijden <koen.vd.heijden1@gmail.com>2016-12-11 17:16:19 +0100
commit8c3efd1ed40f51115a3766248dcff62cf9e3f12d (patch)
tree51dd459ca77c03da5cb5113c2b7af67d39fdd734 /chip_design
parent6cd69b06809161c20689f4e7a2c4d4cead0301bc (diff)
download2IMF25-AR-8c3efd1ed40f51115a3766248dcff62cf9e3f12d.tar.gz
Correct format, just runs too slow...
Diffstat (limited to 'chip_design')
-rw-r--r--chip_design/chip_design.z30
1 files changed, 0 insertions, 0 deletions
diff --git a/chip_design/chip_design.z3 b/chip_design/chip_design.z3
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/chip_design/chip_design.z3