├── .ghci ├── .gitignore ├── .gitmodules ├── .hspec ├── .ignore ├── ChangeLog.md ├── LICENSE ├── README.md ├── annotation-schema.json ├── app └── Main.hs ├── benchmarks ├── .gitignore ├── 472-mips-pipelined │ ├── .gitignore │ ├── 472-mips-fragment-2.v │ ├── 472-mips-fragment-3.v │ ├── 472-mips-fragment-4.v │ ├── 472-mips-fragment-5-noreset.v │ ├── 472-mips-fragment-5.v │ ├── 472-mips-fragment.v │ ├── add32.v │ ├── alu.v │ ├── alu_ctl.v │ ├── alu_ctl_stub.v │ ├── alu_stub.v │ ├── annot-472-mips-fragment-2.json │ ├── annot-472-mips-fragment-3.json │ ├── annot-472-mips-fragment-4.json │ ├── annot-472-mips-fragment.json │ ├── annot-alu.json │ ├── annot-alu_ctl.json │ ├── annot-control_pipeline.json │ ├── annot-mips_pipeline.json │ ├── annot-mux3.json │ ├── annot-reg32.json │ ├── annot-reg_file.json │ ├── annot-rom32.json │ ├── control_pipeline.v │ ├── control_pipeline_stub.v │ ├── control_single.v │ ├── lookahead_adder.v │ ├── mem32-stub.v │ ├── mem32.v │ ├── mem32_stub.v │ ├── minimal.v │ ├── mips_pipeline.v │ ├── mips_single.v │ ├── mux2.v │ ├── mux3.v │ ├── reg32.v │ ├── reg_file.v │ ├── reg_file_stub.v │ ├── ripple_adder2.v │ ├── rom32.v │ ├── test.fq │ └── testbench.v ├── README.md ├── crypto_cores │ ├── RSA4096 │ │ └── ModExp2 │ │ │ ├── ModExp.v │ │ │ ├── ModExp_tb.v │ │ │ ├── _parameter.v │ │ │ ├── annot-ModExp.json │ │ │ ├── compile.txt │ │ │ ├── mem_stubs.v │ │ │ ├── mul_add.v │ │ │ ├── n_mem.v │ │ │ ├── nprime0_mem.v │ │ │ ├── r_mem.v │ │ │ ├── readme.txt │ │ │ └── t_mem.v │ └── sha_core │ │ └── trunk │ │ ├── bench │ │ ├── test_sha1.v │ │ ├── test_sha256.v │ │ └── test_sha512.v │ │ ├── doc │ │ ├── Secure Hash Algorithm IP Core.doc │ │ └── Secure Hash Algorithm IP Core.pdf │ │ ├── rtl │ │ ├── annot-sha256.json │ │ ├── sha1.v │ │ ├── sha256.v │ │ └── sha512.v │ │ ├── sim │ │ ├── sha1.do │ │ ├── sha256.do │ │ └── sha512.do │ │ └── src │ │ ├── miracl.h │ │ ├── mirdef.h │ │ ├── mrshs.c │ │ ├── mrshs256.c │ │ └── mrshs512.c ├── fpu │ ├── FPU.pdf │ ├── README │ ├── fcmp │ │ ├── test_bench │ │ │ └── test_top.v │ │ └── verilog │ │ │ └── fcmp.v │ ├── test_bench │ │ ├── sel_test.vh │ │ └── test_top.v │ ├── test_vectors │ │ ├── README │ │ ├── mkall.bat │ │ ├── mkall_fcmp.bat │ │ ├── pg-src │ │ │ ├── README │ │ │ └── fptpg.c │ │ └── pg.exe │ └── verilog │ │ ├── add_sub27.v │ │ ├── annot-fpu.json │ │ ├── check_all.sh │ │ ├── div_r2.v │ │ ├── except.v │ │ ├── fpu.v │ │ ├── mul_r2.v │ │ ├── post_norm.v │ │ ├── pre_norm.v │ │ ├── pre_norm_fmul.v │ │ └── primitives.v ├── fpu2 │ ├── .gitignore │ ├── COPYING.txt │ ├── README.rst │ ├── adder │ │ ├── .gitignore │ │ ├── adder.v │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── stim_z │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── divider │ │ ├── .gitignore │ │ ├── annot-divider.json │ │ ├── c_test │ │ │ ├── Makefile │ │ │ └── test.cpp │ │ ├── divider.v │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── double_adder │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── double_adder.v │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── double_divider │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── double_divider.v │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── double_multiplier │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── double_multiplier.v │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── double_to_float │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── double_to_float.v │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── double_to_long │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── double_to_long.v │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── float_to_double │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── float_to_double.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── float_to_int │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── float_to_int.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── int_to_float │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── int_to_float.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ ├── long_to_double │ │ ├── .gitignore │ │ ├── c_test │ │ │ └── test.cpp │ │ ├── file_reader.v │ │ ├── file_reader_a.v │ │ ├── file_writer.v │ │ ├── long_to_double.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v │ └── multiplier │ │ ├── .gitignore │ │ ├── c_test │ │ └── test.cpp │ │ ├── file_reader_a.v │ │ ├── file_reader_b.v │ │ ├── file_writer.v │ │ ├── multiplier.v │ │ ├── run_test.py │ │ ├── test_bench.v │ │ └── test_bench_tb.v ├── xcrypto-ref │ ├── .gitignore │ ├── .gitmodules │ ├── LICENSE.txt │ ├── Makefile │ ├── README.md │ ├── bin │ │ ├── ise-parse-opcodes.py │ │ └── source.me.sh │ ├── docs │ │ ├── Makefile │ │ ├── diagrams │ │ │ ├── cop-block-diagram.png │ │ │ ├── cop-mem-if-1.png │ │ │ ├── cop-mem-if-1.wd │ │ │ ├── cop-mem-if-2.png │ │ │ ├── cop-mem-if-2.wd │ │ │ ├── cpu-cop-if-1.png │ │ │ ├── cpu-cop-if-1.wd │ │ │ ├── cpu-cop-if-2.png │ │ │ ├── cpu-cop-if-2.wd │ │ │ ├── formal-flow.dot │ │ │ ├── formal-testbench.dot │ │ │ ├── fsm-load-store.dot │ │ │ └── top-level-fsm.dot │ │ ├── implementation.tex │ │ └── implementation │ │ │ ├── integration.tex │ │ │ └── verify.tex │ ├── examples │ │ ├── Makefile │ │ ├── aes-test │ │ │ ├── Makefile │ │ │ └── aes-test.c │ │ ├── common │ │ │ ├── benchmark.h │ │ │ ├── boot.S │ │ │ ├── common.h │ │ │ ├── common.mk │ │ │ └── linker.ld │ │ ├── helloworld │ │ │ ├── Makefile │ │ │ └── helloworld.c │ │ ├── integration-test │ │ │ ├── Makefile │ │ │ ├── copmv.x.S │ │ │ └── integration-test.c │ │ ├── keccakp-1600 │ │ │ ├── Makefile │ │ │ └── keccakp-1600.c │ │ ├── keccakp-400 │ │ │ ├── Makefile │ │ │ └── keccakp-400.c │ │ ├── mpn │ │ │ ├── Makefile │ │ │ └── mpn.c │ │ ├── prince │ │ │ ├── Makefile │ │ │ └── prince.c │ │ └── sha2 │ │ │ ├── Makefile │ │ │ └── sha2.c │ ├── flow │ │ ├── benchmarks │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── XCBenchmark.py │ │ │ └── mpn_plot_perf.py │ │ ├── gtkwave │ │ │ ├── filter-instr-result.txt │ │ │ ├── filter-pack-width.txt │ │ │ ├── formal-flow-view.gtkw │ │ │ └── verilator-flow-view.gtkw │ │ ├── icarus │ │ │ ├── Makefile │ │ │ ├── integration.cmd │ │ │ ├── manifest.cmd │ │ │ ├── waves-view-integ.gtkw │ │ │ └── waves-view.gtkw │ │ ├── verilator │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── srec.cpp │ │ │ ├── srec.hpp │ │ │ └── vl_main.cpp │ │ └── yosys │ │ │ ├── Makefile │ │ │ ├── adder.ys │ │ │ ├── prep_ise_model.ys │ │ │ ├── proof-depths.mk │ │ │ ├── proofs.sby │ │ │ ├── stats.py │ │ │ ├── write-smt-tb.ys │ │ │ └── write-verilog.ys │ ├── rtl │ │ ├── coprocessor │ │ │ ├── annot-scarv_cop_palu.json │ │ │ ├── scarv_cop_aes.v │ │ │ ├── scarv_cop_aes_sbox.v │ │ │ ├── scarv_cop_common.vh │ │ │ ├── scarv_cop_cprs.v │ │ │ ├── scarv_cop_idecode.v │ │ │ ├── scarv_cop_malu.v │ │ │ ├── scarv_cop_mem.v │ │ │ ├── scarv_cop_palu.v │ │ │ ├── scarv_cop_palu_adder.v │ │ │ ├── scarv_cop_palu_multiplier.v │ │ │ ├── scarv_cop_palu_shifter.v │ │ │ ├── scarv_cop_rng.v │ │ │ ├── scarv_cop_sha3.v │ │ │ ├── scarv_cop_top.v │ │ │ └── unroll.py │ │ └── integration │ │ │ ├── scarv_axi_adapter.v │ │ │ ├── scarv_integ_prv_pcpi2cop.v │ │ │ └── scarv_prv_xcrypt_top.v │ └── verif │ │ ├── formal │ │ ├── fml_aes_aux.vh │ │ ├── fml_chk_correct_invalid_opcode_response.v │ │ ├── fml_chk_correct_result_encodings.v │ │ ├── fml_chk_instr_aesmix_dec.v │ │ ├── fml_chk_instr_aesmix_enc.v │ │ ├── fml_chk_instr_aessub_dec.v │ │ ├── fml_chk_instr_aessub_decrot.v │ │ ├── fml_chk_instr_aessub_enc.v │ │ ├── fml_chk_instr_aessub_encrot.v │ │ ├── fml_chk_instr_bop.v │ │ ├── fml_chk_instr_cmov_f.v │ │ ├── fml_chk_instr_cmov_t.v │ │ ├── fml_chk_instr_ext.v │ │ ├── fml_chk_instr_gather_b.v │ │ ├── fml_chk_instr_gather_h.v │ │ ├── fml_chk_instr_gpr2xcr.v │ │ ├── fml_chk_instr_ins.v │ │ ├── fml_chk_instr_ld_bu.v │ │ ├── fml_chk_instr_ld_hiu.v │ │ ├── fml_chk_instr_ld_hu.v │ │ ├── fml_chk_instr_ld_liu.v │ │ ├── fml_chk_instr_ld_w.v │ │ ├── fml_chk_instr_lut.v │ │ ├── fml_chk_instr_macc_1.v │ │ ├── fml_chk_instr_macc_2.v │ │ ├── fml_chk_instr_madd_2.v │ │ ├── fml_chk_instr_madd_3.v │ │ ├── fml_chk_instr_mclmul_3.v │ │ ├── fml_chk_instr_mequ.v │ │ ├── fml_chk_instr_mgte.v │ │ ├── fml_chk_instr_mix_h.v │ │ ├── fml_chk_instr_mix_l.v │ │ ├── fml_chk_instr_mlte.v │ │ ├── fml_chk_instr_mmul_3.v │ │ ├── fml_chk_instr_msll.v │ │ ├── fml_chk_instr_msll_i.v │ │ ├── fml_chk_instr_msrl.v │ │ ├── fml_chk_instr_msrl_i.v │ │ ├── fml_chk_instr_msub_2.v │ │ ├── fml_chk_instr_msub_3.v │ │ ├── fml_chk_instr_padd.v │ │ ├── fml_chk_instr_pclmul_h.v │ │ ├── fml_chk_instr_pclmul_h_pw1.v │ │ ├── fml_chk_instr_pclmul_h_pw2.v │ │ ├── fml_chk_instr_pclmul_l.v │ │ ├── fml_chk_instr_pclmul_l_pw1.v │ │ ├── fml_chk_instr_pclmul_l_pw2.v │ │ ├── fml_chk_instr_pmul_h.v │ │ ├── fml_chk_instr_pmul_h_pw1.v │ │ ├── fml_chk_instr_pmul_h_pw2.v │ │ ├── fml_chk_instr_pmul_l.v │ │ ├── fml_chk_instr_pmul_l_pw1.v │ │ ├── fml_chk_instr_pmul_l_pw2.v │ │ ├── fml_chk_instr_pperm_b0.v │ │ ├── fml_chk_instr_pperm_b1.v │ │ ├── fml_chk_instr_pperm_b2.v │ │ ├── fml_chk_instr_pperm_b3.v │ │ ├── fml_chk_instr_pperm_h0.v │ │ ├── fml_chk_instr_pperm_h1.v │ │ ├── fml_chk_instr_pperm_w.v │ │ ├── fml_chk_instr_prot.v │ │ ├── fml_chk_instr_prot_i.v │ │ ├── fml_chk_instr_psll.v │ │ ├── fml_chk_instr_psll_i.v │ │ ├── fml_chk_instr_psrl.v │ │ ├── fml_chk_instr_psrl_i.v │ │ ├── fml_chk_instr_psub.v │ │ ├── fml_chk_instr_rngsamp.v │ │ ├── fml_chk_instr_rngseed.v │ │ ├── fml_chk_instr_rngtest.v │ │ ├── fml_chk_instr_scatter_b.v │ │ ├── fml_chk_instr_scatter_h.v │ │ ├── fml_chk_instr_sha3.v │ │ ├── fml_chk_instr_st_b.v │ │ ├── fml_chk_instr_st_h.v │ │ ├── fml_chk_instr_st_w.v │ │ ├── fml_chk_instr_xcr2gpr.v │ │ ├── fml_chk_no_reg_write_if_invalid_op.v │ │ ├── fml_chk_protocols.v │ │ ├── fml_chk_register_writes_crd.v │ │ ├── fml_chk_register_writes_crdm.v │ │ ├── fml_common.vh │ │ ├── fml_pack_widths.vh │ │ ├── fml_pclmul_h_result.vh │ │ ├── fml_pclmul_l_result.vh │ │ └── fml_top.v │ │ ├── tb │ │ ├── axi_sram.v │ │ ├── tb_formal.v │ │ ├── tb_integration.v │ │ └── tb_scarv_cop_top.v │ │ └── unit │ │ ├── 00-mvcop.S │ │ ├── 01-cmov.S │ │ ├── 02-li.S │ │ ├── 03-bop.S │ │ ├── 04-ins-ext.S │ │ ├── 05-packed-arith-add.S │ │ ├── 05-packed-arith-mul.S │ │ ├── 05-packed-arith-sub.S │ │ ├── 06-packed-shift.S │ │ ├── 07-packed-shifti.S │ │ ├── 08-load.S │ │ ├── 09-twid.S │ │ ├── 10-load-h.S │ │ ├── 11-load-b.S │ │ ├── 12-store-w.S │ │ ├── 13-store-h.S │ │ ├── 14-store-b.S │ │ ├── 15-gather-b.S │ │ ├── 16-scatter-b.S │ │ ├── 17-gather-h.S │ │ ├── 18-scatter-h.S │ │ ├── 19-random.S │ │ ├── 20-add2-mp.S │ │ ├── 21-add3-mp.S │ │ ├── 22-slli-mp.S │ │ ├── 23-sll-mp.S │ │ ├── 24-srl-mp.S │ │ ├── 25-srli-mp.S │ │ ├── 26-acc2-mp.S │ │ ├── 27-acc1-mp.S │ │ ├── 28-sub2-mp.S │ │ ├── 29-sub3-mp.S │ │ ├── 30-mac-mp.S │ │ ├── 31-equ-mp.S │ │ ├── 32-ltu-mp.S │ │ ├── 33-gtu-mp.S │ │ ├── 34-packed-arith-mul-h.S │ │ ├── 35-packed-arith-clmul-h.S │ │ ├── 36-packed-arith-clmul-l.S │ │ ├── 37-mclmul.S │ │ ├── 38-aes-sub.S │ │ ├── 39-aes-mix.S │ │ ├── 40-sbox.S │ │ ├── 41-sha3.S │ │ └── Makefile └── yarvi │ ├── BeMicroCV-A9 │ ├── BeMicroCVA9.cdf │ ├── BeMicroCVA9.qpf │ ├── BeMicroCVA9.qsf │ ├── BeMicroCVA9.sdc │ ├── BeMicroCVA9.v │ ├── Makefile │ └── demo.c │ ├── BeMicroCV │ ├── Makefile │ ├── axi_uart.v │ ├── bemicrocv.cdf │ ├── bemicrocv.qpf │ ├── bemicrocv.qsf │ ├── bemicrocv.sdc │ ├── bemicrocv.v │ ├── rs232.v │ └── test_yarvi.v │ ├── ISSUES │ ├── Makefile │ ├── README.md │ ├── STATUS.txt │ ├── XuLA2 │ ├── .gitignore │ ├── Makefile │ ├── XuLA2_lx25.bit │ ├── axi_uart.v │ ├── build.log │ ├── fpga_project.mk │ ├── fpga_project_rules.mk │ ├── xula2.prj │ ├── xula2.py │ ├── xula2.ucf │ ├── xula2.ut │ ├── xula2.v │ ├── xula2.xise │ ├── xula2_lx25.xst │ └── xula2_lx9.xst │ ├── shared │ ├── Makefile.common │ ├── annot-yarvi.json │ ├── axi_jtaguart.v │ ├── crt0.c │ ├── htif.v │ ├── hw.c │ ├── initregs.txt │ ├── input.txt │ ├── riscv.h │ ├── rs232rx.v │ ├── rs232tx.v │ ├── yarvi-preproc.v │ ├── yarvi-simple.v │ ├── yarvi.ld │ ├── yarvi.pl │ ├── yarvi.v │ ├── yarvi2.v │ └── yarvi_soc.v │ ├── sim │ ├── Makefile │ └── toplevel.v │ └── sw │ ├── Makefile │ ├── htif-jtag.cpp │ └── htif-serial.c ├── examples ├── fp │ ├── Test.hs │ ├── test01.fq │ └── test02.fq ├── minimal-vcs.pl ├── minimal.pl ├── minimal │ ├── mips-hand.pl │ ├── mod1.pl │ └── stall-hand.pl ├── mips-stall-minimal.pl ├── mips-stall.pl ├── verilog │ ├── annot-stall.json │ ├── mod1.v │ ├── modular.v │ ├── stall.v │ └── yarvi-minimal.v └── yarvi-minimal.pl ├── iodine ├── iverilog-parser ├── .gitignore ├── AStatement.cc ├── AStatement.h ├── Attrib.cc ├── Attrib.h ├── COPYING ├── COPYING.lesser ├── ExprVisitor.h ├── HName.cc ├── HName.h ├── INSTALL ├── LineInfo.cc ├── LineInfo.h ├── Makefile ├── Module.cc ├── Module.h ├── PClass.cc ├── PClass.h ├── PDelays.cc ├── PDelays.h ├── PEvent.cc ├── PEvent.h ├── PExpr.cc ├── PExpr.h ├── PFunction.cc ├── PGate.cc ├── PGate.h ├── PGenerate.cc ├── PGenerate.h ├── PModport.cc ├── PModport.h ├── PPackage.cc ├── PPackage.h ├── PScope.cc ├── PScope.h ├── PSpec.cc ├── PSpec.h ├── PTask.cc ├── PTask.h ├── PUdp.cc ├── PUdp.h ├── PWire.cc ├── PWire.h ├── PrologExporter.cc ├── PrologExporter.h ├── README.md ├── Statement.cc ├── Statement.h ├── StringHeap.cc ├── StringHeap.h ├── Visitor.h ├── _pli_types.h ├── acc_user.h ├── async.cc ├── check.conf ├── compiler.h ├── config.h ├── cprop.cc ├── design_dump.cc ├── discipline.cc ├── discipline.h ├── dup_expr.cc ├── elab_expr.cc ├── elab_lval.cc ├── elab_net.cc ├── elab_scope.cc ├── elab_sig.cc ├── elab_sig_analog.cc ├── elab_type.cc ├── elaborate.cc ├── elaborate_analog.cc ├── emit.cc ├── eval.cc ├── eval_attrib.cc ├── eval_tree.cc ├── expr_synth.cc ├── functor.cc ├── functor.h ├── ivl.sh ├── ivl_alloc.h ├── ivl_assert.h ├── ivl_target.h ├── ivl_target_priv.h ├── ivlpp │ ├── .gitignore │ ├── Makefile │ ├── globals.h │ ├── ivlpp.txt │ ├── lexor.c │ ├── lexor.lex │ └── main.c ├── lexor.cc ├── lexor.lex ├── lexor_keyword.cc ├── lexor_keyword.gperf ├── lexor_keyword.h ├── link_const.cc ├── load_module.cc ├── main.cc ├── named.h ├── net_analog.cc ├── net_assign.cc ├── net_design.cc ├── net_event.cc ├── net_expr.cc ├── net_func.cc ├── net_func_eval.cc ├── net_link.cc ├── net_modulo.cc ├── net_nex_input.cc ├── net_nex_output.cc ├── net_proc.cc ├── net_scope.cc ├── net_tran.cc ├── net_udp.cc ├── netclass.cc ├── netclass.h ├── netdarray.cc ├── netdarray.h ├── netenum.cc ├── netenum.h ├── netlist.cc ├── netlist.h ├── netmisc.cc ├── netmisc.h ├── netparray.cc ├── netparray.h ├── netqueue.cc ├── netqueue.h ├── netscalar.cc ├── netscalar.h ├── netstruct.cc ├── netstruct.h ├── nettypes.cc ├── nettypes.h ├── netvector.cc ├── netvector.h ├── nodangle.cc ├── pad_to_width.cc ├── parse.cc ├── parse.h ├── parse.y ├── parse_api.h ├── parse_misc.cc ├── parse_misc.h ├── pform.cc ├── pform.h ├── pform_analog.cc ├── pform_class_type.cc ├── pform_disciplines.cc ├── pform_dump.cc ├── pform_package.cc ├── pform_pclass.cc ├── pform_string_type.cc ├── pform_struct_type.cc ├── pform_types.cc ├── pform_types.h ├── property_qual.h ├── sv_vpi_user.h ├── svector.h ├── symbol_search.cc ├── syn-rules.cc ├── syn-rules.y ├── sync.cc ├── synth.cc ├── synth2.cc ├── sys_funcs.cc ├── t-dll-analog.cc ├── t-dll-api.cc ├── t-dll-expr.cc ├── t-dll-proc.cc ├── t-dll.cc ├── t-dll.h ├── target.cc ├── target.h ├── util.h ├── verinum.cc ├── verinum.h ├── verireal.cc ├── verireal.h ├── veriuser.h ├── version.c ├── version_base.h ├── version_tag.h └── vpi_user.h ├── package.yaml ├── scripts ├── eqs.py ├── get_average.sh ├── line_count.sh ├── linprog │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── annotation.py │ ├── assumptions.py │ ├── benchmark.py │ ├── config.py │ ├── minimize.py │ ├── qualifier.py │ ├── requirements.txt │ ├── run.py │ ├── testing.py │ └── utils.py ├── parse_old_annotations.py ├── remove_comments.sh ├── table_data.sh └── tag_equals ├── src └── Iodine │ ├── Abduction │ ├── Graph.hs │ ├── Runner.hs │ ├── Transform.hs │ ├── Types.hs │ └── Utils.hs │ ├── Language │ ├── AnnotParser.hs │ ├── Parser.hs │ └── Types.hs │ ├── Pipeline.hs │ ├── Runner.hs │ ├── Solver │ ├── Common.hs │ └── FP │ │ ├── FQ.hs │ │ ├── Solve.hs │ │ └── Types.hs │ ├── Transform │ ├── DFG.hs │ ├── FP │ │ └── VCGen.hs │ ├── Merge.hs │ ├── Modularize.hs │ ├── SanityCheck.hs │ ├── TransitionRelation.hs │ ├── Utils.hs │ ├── VCGen.hs │ └── Visualize.hs │ ├── Types.hs │ └── Utils.hs ├── stack.yaml ├── t └── test ├── .gitignore ├── Test.hs ├── abduction └── pos │ ├── abduction-01.v │ ├── abduction-02.v │ ├── abduction-03.v │ ├── abduction-04.v │ ├── abduction-05.v │ ├── abduction-06.v │ └── abduction-07.v ├── secverilog ├── secverilog.fun ├── secverilog.v ├── secverilog.z3 ├── test-secverilog.sh └── test2.v ├── test.v └── verilog ├── neg ├── annot-neg-merge-01.json ├── annot-neg-test-1.json ├── annot-neg-test-11.json ├── annot-neg-test-2.json ├── annot-neg-test-5.json ├── annot-secverilog-neg-01.json ├── annot-secverilog-neg-02.json ├── annot-tp.json ├── neg-merge-01.v ├── neg-test-0.v ├── neg-test-1.v ├── neg-test-11.v ├── neg-test-2.v ├── neg-test-3.v ├── neg-test-4.v ├── neg-test-5.v ├── secverilog-neg-01.v ├── secverilog-neg-02.v ├── synth.v └── tp.v └── pos ├── annot-merge-02.json ├── annot-merge03.json ├── annot-merge04-1.json ├── annot-merge04.json ├── annot-secverilog-01.json ├── annot-tr-test-1.json ├── annot-tr-test-10.json ├── annot-tr-test-11.json ├── annot-tr-test-2.json ├── annot-tr-test-3.json ├── annot-tr-test-4.json ├── annot-tr-test-5.json ├── annot-tr-test-6.json ├── annot-tr-test-9.json ├── combine01.v ├── combine02.v ├── fpu01.v ├── inline01.v ├── merge-01.v ├── merge-02.v ├── merge.fq ├── merge03.v ├── merge04-1.v ├── merge04.v ├── secverilog-01.v ├── simple01.v ├── tr-test-0.v ├── tr-test-1.v ├── tr-test-10.v ├── tr-test-11.v ├── tr-test-2.v ├── tr-test-3.v ├── tr-test-4.v ├── tr-test-5.v ├── tr-test-6.v ├── tr-test-7.v ├── tr-test-8.v └── tr-test-9.v /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/.gitmodules -------------------------------------------------------------------------------- /.hspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/.hspec -------------------------------------------------------------------------------- /.ignore: -------------------------------------------------------------------------------- 1 | /liquid-fixpoint/ 2 | -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/README.md -------------------------------------------------------------------------------- /annotation-schema.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/annotation-schema.json -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/app/Main.hs -------------------------------------------------------------------------------- /benchmarks/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/.gitignore -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/.gitignore -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment-2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment-2.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment-3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment-3.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment-4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment-4.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment-5-noreset.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment-5-noreset.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment-5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment-5.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/472-mips-fragment.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/472-mips-fragment.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/add32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/add32.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/alu.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/alu_ctl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/alu_ctl.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/alu_ctl_stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/alu_ctl_stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/alu_stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/alu_stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-472-mips-fragment-2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-472-mips-fragment-2.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-472-mips-fragment-3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-472-mips-fragment-3.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-472-mips-fragment-4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-472-mips-fragment-4.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-472-mips-fragment.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-472-mips-fragment.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-alu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-alu.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-alu_ctl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-alu_ctl.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-control_pipeline.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-control_pipeline.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-mips_pipeline.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-mips_pipeline.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-mux3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-mux3.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-reg32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-reg32.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-reg_file.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-reg_file.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/annot-rom32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/annot-rom32.json -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/control_pipeline.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/control_pipeline.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/control_pipeline_stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/control_pipeline_stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/control_single.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/control_single.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/lookahead_adder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/lookahead_adder.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mem32-stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mem32-stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mem32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mem32.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mem32_stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mem32_stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/minimal.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/minimal.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mips_pipeline.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mips_pipeline.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mips_single.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mips_single.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mux2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mux2.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/mux3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/mux3.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/reg32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/reg32.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/reg_file.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/reg_file.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/reg_file_stub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/reg_file_stub.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/ripple_adder2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/ripple_adder2.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/rom32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/rom32.v -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/test.fq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/test.fq -------------------------------------------------------------------------------- /benchmarks/472-mips-pipelined/testbench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/472-mips-pipelined/testbench.v -------------------------------------------------------------------------------- /benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/ModExp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/ModExp.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/ModExp_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/ModExp_tb.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/_parameter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/_parameter.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/annot-ModExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/annot-ModExp.json -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/compile.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/compile.txt -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/mem_stubs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/mem_stubs.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/mul_add.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/mul_add.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/n_mem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/n_mem.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/nprime0_mem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/nprime0_mem.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/r_mem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/r_mem.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/readme.txt -------------------------------------------------------------------------------- /benchmarks/crypto_cores/RSA4096/ModExp2/t_mem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/RSA4096/ModExp2/t_mem.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/bench/test_sha1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/bench/test_sha1.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/bench/test_sha256.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/bench/test_sha256.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/bench/test_sha512.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/bench/test_sha512.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/rtl/annot-sha256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/rtl/annot-sha256.json -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/rtl/sha1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/rtl/sha1.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/rtl/sha256.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/rtl/sha256.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/rtl/sha512.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/rtl/sha512.v -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/sim/sha1.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/sim/sha1.do -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/sim/sha256.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/sim/sha256.do -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/sim/sha512.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/sim/sha512.do -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/src/miracl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/src/miracl.h -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/src/mirdef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/src/mirdef.h -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/src/mrshs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/src/mrshs.c -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/src/mrshs256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/src/mrshs256.c -------------------------------------------------------------------------------- /benchmarks/crypto_cores/sha_core/trunk/src/mrshs512.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/crypto_cores/sha_core/trunk/src/mrshs512.c -------------------------------------------------------------------------------- /benchmarks/fpu/FPU.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/FPU.pdf -------------------------------------------------------------------------------- /benchmarks/fpu/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/README -------------------------------------------------------------------------------- /benchmarks/fpu/fcmp/test_bench/test_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/fcmp/test_bench/test_top.v -------------------------------------------------------------------------------- /benchmarks/fpu/fcmp/verilog/fcmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/fcmp/verilog/fcmp.v -------------------------------------------------------------------------------- /benchmarks/fpu/test_bench/sel_test.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_bench/sel_test.vh -------------------------------------------------------------------------------- /benchmarks/fpu/test_bench/test_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_bench/test_top.v -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/README -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/mkall.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/mkall.bat -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/mkall_fcmp.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/mkall_fcmp.bat -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/pg-src/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/pg-src/README -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/pg-src/fptpg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/pg-src/fptpg.c -------------------------------------------------------------------------------- /benchmarks/fpu/test_vectors/pg.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/test_vectors/pg.exe -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/add_sub27.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/add_sub27.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/annot-fpu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/annot-fpu.json -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/check_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/check_all.sh -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/div_r2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/div_r2.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/except.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/except.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/fpu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/fpu.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/mul_r2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/mul_r2.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/post_norm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/post_norm.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/pre_norm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/pre_norm.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/pre_norm_fmul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/pre_norm_fmul.v -------------------------------------------------------------------------------- /benchmarks/fpu/verilog/primitives.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu/verilog/primitives.v -------------------------------------------------------------------------------- /benchmarks/fpu2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/COPYING.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/COPYING.txt -------------------------------------------------------------------------------- /benchmarks/fpu2/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/README.rst -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/adder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/adder.v -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/stim_z: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/adder/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/adder/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/annot-divider.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/annot-divider.json -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/c_test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/c_test/Makefile -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/divider.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/divider.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/divider/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/divider/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/double_adder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/double_adder.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_adder/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_adder/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/double_divider.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/double_divider.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_divider/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_divider/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/double_multiplier.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/double_multiplier.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_multiplier/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_multiplier/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/double_to_float.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/double_to_float.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/test_bench: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_float/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_float/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/double_to_long.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/double_to_long.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/double_to_long/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/double_to_long/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/float_to_double.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/float_to_double.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_double/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_double/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/float_to_int.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/float_to_int.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/float_to_int/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/float_to_int/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/int_to_float.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/int_to_float.v -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/int_to_float/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/int_to_float/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/file_reader.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/long_to_double.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/long_to_double.v -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/long_to_double/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/long_to_double/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/.gitignore -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/c_test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/c_test/test.cpp -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/file_reader_a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/file_reader_a.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/file_reader_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/file_reader_b.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/file_writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/file_writer.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/multiplier.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/multiplier.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/run_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/run_test.py -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/test_bench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/test_bench.v -------------------------------------------------------------------------------- /benchmarks/fpu2/multiplier/test_bench_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/fpu2/multiplier/test_bench_tb.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/.gitignore -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/.gitmodules -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/LICENSE.txt -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/README.md -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/bin/ise-parse-opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/bin/ise-parse-opcodes.py -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/bin/source.me.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/bin/source.me.sh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cop-block-diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cop-block-diagram.png -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-1.png -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-1.wd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-1.wd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-2.png -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-2.wd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cop-mem-if-2.wd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-1.png -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-1.wd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-1.wd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-2.png -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-2.wd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/cpu-cop-if-2.wd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/formal-flow.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/formal-flow.dot -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/formal-testbench.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/formal-testbench.dot -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/fsm-load-store.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/fsm-load-store.dot -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/diagrams/top-level-fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/diagrams/top-level-fsm.dot -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/implementation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/implementation.tex -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/implementation/integration.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/implementation/integration.tex -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/docs/implementation/verify.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/docs/implementation/verify.tex -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/aes-test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/aes-test/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/aes-test/aes-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/aes-test/aes-test.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/common/benchmark.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/common/benchmark.h -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/common/boot.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/common/boot.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/common/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/common/common.h -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/common/common.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/common/common.mk -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/common/linker.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/common/linker.ld -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/helloworld/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/helloworld/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/helloworld/helloworld.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/helloworld/helloworld.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/integration-test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/integration-test/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/integration-test/copmv.x.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/integration-test/copmv.x.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/integration-test/integration-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/integration-test/integration-test.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/keccakp-1600/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/keccakp-1600/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/keccakp-1600/keccakp-1600.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/keccakp-1600/keccakp-1600.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/keccakp-400/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/keccakp-400/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/keccakp-400/keccakp-400.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/keccakp-400/keccakp-400.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/mpn/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/mpn/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/mpn/mpn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/mpn/mpn.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/prince/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/prince/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/prince/prince.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/prince/prince.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/sha2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/sha2/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/examples/sha2/sha2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/examples/sha2/sha2.c -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/benchmarks/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/benchmarks/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/benchmarks/XCBenchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/benchmarks/XCBenchmark.py -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/benchmarks/mpn_plot_perf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/benchmarks/mpn_plot_perf.py -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/gtkwave/filter-instr-result.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/gtkwave/filter-instr-result.txt -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/gtkwave/filter-pack-width.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/gtkwave/filter-pack-width.txt -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/gtkwave/formal-flow-view.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/gtkwave/formal-flow-view.gtkw -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/gtkwave/verilator-flow-view.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/gtkwave/verilator-flow-view.gtkw -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/icarus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/icarus/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/icarus/integration.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/icarus/integration.cmd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/icarus/manifest.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/icarus/manifest.cmd -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/icarus/waves-view-integ.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/icarus/waves-view-integ.gtkw -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/icarus/waves-view.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/icarus/waves-view.gtkw -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/.gitignore: -------------------------------------------------------------------------------- 1 | obj_dir/ 2 | -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/verilator/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/verilator/README.md -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/srec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/verilator/srec.cpp -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/srec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/verilator/srec.hpp -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/verilator/vl_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/verilator/vl_main.cpp -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/Makefile -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/adder.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/adder.ys -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/prep_ise_model.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/prep_ise_model.ys -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/proof-depths.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/proof-depths.mk -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/proofs.sby: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/proofs.sby -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/stats.py -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/write-smt-tb.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/write-smt-tb.ys -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/flow/yosys/write-verilog.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/flow/yosys/write-verilog.ys -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/annot-scarv_cop_palu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/annot-scarv_cop_palu.json -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_aes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_aes.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_aes_sbox.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_aes_sbox.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_common.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_common.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_cprs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_cprs.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_idecode.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_idecode.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_malu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_malu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_mem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_mem.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_adder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_adder.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_multiplier.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_multiplier.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_shifter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_palu_shifter.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_rng.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_rng.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_sha3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_sha3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/scarv_cop_top.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/coprocessor/unroll.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/coprocessor/unroll.py -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/integration/scarv_axi_adapter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/integration/scarv_axi_adapter.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/integration/scarv_integ_prv_pcpi2cop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/integration/scarv_integ_prv_pcpi2cop.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/rtl/integration/scarv_prv_xcrypt_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/rtl/integration/scarv_prv_xcrypt_top.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_aes_aux.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_aes_aux.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aesmix_dec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aesmix_dec.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aesmix_enc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aesmix_enc.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_dec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_dec.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_decrot.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_decrot.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_enc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_enc.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_encrot.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_aessub_encrot.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_bop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_bop.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_cmov_f.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_cmov_f.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_cmov_t.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_cmov_t.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ext.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ext.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gather_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gather_b.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gather_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gather_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gpr2xcr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_gpr2xcr.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ins.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ins.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_bu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_bu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_hiu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_hiu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_hu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_hu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_liu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_liu.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_w.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_ld_w.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_lut.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_lut.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_macc_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_macc_1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_macc_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_macc_2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_madd_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_madd_2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_madd_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_madd_3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mclmul_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mclmul_3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mequ.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mequ.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mgte.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mgte.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mix_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mix_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mix_l.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mix_l.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mlte.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mlte.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mmul_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_mmul_3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msll.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msll.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msll_i.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msll_i.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msrl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msrl.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msrl_i.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msrl_i.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msub_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msub_2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msub_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_msub_3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_padd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_padd.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h_pw1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h_pw1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h_pw2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_h_pw2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l_pw1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l_pw1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l_pw2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pclmul_l_pw2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h_pw1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h_pw1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h_pw2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_h_pw2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l_pw1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l_pw1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l_pw2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pmul_l_pw2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b0.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b2.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_b3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_h0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_h0.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_h1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_h1.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_w.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_pperm_w.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_prot.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_prot.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_prot_i.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_prot_i.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psll.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psll.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psll_i.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psll_i.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psrl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psrl.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psrl_i.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psrl_i.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_psub.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngsamp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngsamp.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngseed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngseed.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngtest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_rngtest.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_scatter_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_scatter_b.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_scatter_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_scatter_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_sha3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_sha3.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_b.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_h.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_h.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_w.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_st_w.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_xcr2gpr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_instr_xcr2gpr.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_protocols.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_protocols.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_chk_register_writes_crd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_chk_register_writes_crd.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_common.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_common.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_pack_widths.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_pack_widths.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_pclmul_h_result.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_pclmul_h_result.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_pclmul_l_result.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_pclmul_l_result.vh -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/formal/fml_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/formal/fml_top.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/tb/axi_sram.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/tb/axi_sram.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/tb/tb_formal.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/tb/tb_formal.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/tb/tb_integration.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/tb/tb_integration.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/tb/tb_scarv_cop_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/tb/tb_scarv_cop_top.v -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/00-mvcop.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/00-mvcop.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/01-cmov.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/01-cmov.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/02-li.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/02-li.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/03-bop.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/03-bop.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/04-ins-ext.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/04-ins-ext.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/05-packed-arith-add.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/05-packed-arith-add.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/05-packed-arith-mul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/05-packed-arith-mul.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/05-packed-arith-sub.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/05-packed-arith-sub.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/06-packed-shift.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/06-packed-shift.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/07-packed-shifti.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/07-packed-shifti.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/08-load.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/08-load.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/09-twid.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/09-twid.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/10-load-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/10-load-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/11-load-b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/11-load-b.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/12-store-w.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/12-store-w.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/13-store-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/13-store-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/14-store-b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/14-store-b.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/15-gather-b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/15-gather-b.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/16-scatter-b.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/16-scatter-b.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/17-gather-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/17-gather-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/18-scatter-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/18-scatter-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/19-random.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/19-random.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/20-add2-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/20-add2-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/21-add3-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/21-add3-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/22-slli-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/22-slli-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/23-sll-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/23-sll-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/24-srl-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/24-srl-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/25-srli-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/25-srli-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/26-acc2-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/26-acc2-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/27-acc1-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/27-acc1-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/28-sub2-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/28-sub2-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/29-sub3-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/29-sub3-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/30-mac-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/30-mac-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/31-equ-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/31-equ-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/32-ltu-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/32-ltu-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/33-gtu-mp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/33-gtu-mp.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/34-packed-arith-mul-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/34-packed-arith-mul-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/35-packed-arith-clmul-h.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/35-packed-arith-clmul-h.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/36-packed-arith-clmul-l.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/36-packed-arith-clmul-l.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/37-mclmul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/37-mclmul.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/38-aes-sub.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/38-aes-sub.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/39-aes-mix.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/39-aes-mix.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/40-sbox.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/40-sbox.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/41-sha3.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/41-sha3.S -------------------------------------------------------------------------------- /benchmarks/xcrypto-ref/verif/unit/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/xcrypto-ref/verif/unit/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.cdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.cdf -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.qpf: -------------------------------------------------------------------------------- 1 | PROJECT_REVISION = "BeMicroCVA9" 2 | -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.qsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.qsf -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.sdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.sdc -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/BeMicroCVA9.v -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV-A9/demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV-A9/demo.c -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/axi_uart.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/axi_uart.v -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/bemicrocv.cdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/bemicrocv.cdf -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/bemicrocv.qpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/bemicrocv.qpf -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/bemicrocv.qsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/bemicrocv.qsf -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/bemicrocv.sdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/bemicrocv.sdc -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/bemicrocv.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/bemicrocv.v -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/rs232.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/rs232.v -------------------------------------------------------------------------------- /benchmarks/yarvi/BeMicroCV/test_yarvi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/BeMicroCV/test_yarvi.v -------------------------------------------------------------------------------- /benchmarks/yarvi/ISSUES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/ISSUES -------------------------------------------------------------------------------- /benchmarks/yarvi/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/README.md -------------------------------------------------------------------------------- /benchmarks/yarvi/STATUS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/STATUS.txt -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/.gitignore: -------------------------------------------------------------------------------- 1 | /VHDL_Lib 2 | -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/XuLA2_lx25.bit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/XuLA2_lx25.bit -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/axi_uart.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/axi_uart.v -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/build.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/build.log -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/fpga_project.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/fpga_project.mk -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/fpga_project_rules.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/fpga_project_rules.mk -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.prj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.prj -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.py -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.ucf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.ucf -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.ut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.ut -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.v -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2.xise: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2.xise -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2_lx25.xst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2_lx25.xst -------------------------------------------------------------------------------- /benchmarks/yarvi/XuLA2/xula2_lx9.xst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/XuLA2/xula2_lx9.xst -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/Makefile.common -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/annot-yarvi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/annot-yarvi.json -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/axi_jtaguart.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/axi_jtaguart.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/crt0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/crt0.c -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/htif.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/htif.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/hw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/hw.c -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/initregs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/initregs.txt -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/input.txt: -------------------------------------------------------------------------------- 1 | aw1729 2 | arrr 3 | -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/riscv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/riscv.h -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/rs232rx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/rs232rx.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/rs232tx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/rs232tx.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi-preproc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi-preproc.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi-simple.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi-simple.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi.ld -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi.pl -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi2.v -------------------------------------------------------------------------------- /benchmarks/yarvi/shared/yarvi_soc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/shared/yarvi_soc.v -------------------------------------------------------------------------------- /benchmarks/yarvi/sim/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/sim/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/sim/toplevel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/sim/toplevel.v -------------------------------------------------------------------------------- /benchmarks/yarvi/sw/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/sw/Makefile -------------------------------------------------------------------------------- /benchmarks/yarvi/sw/htif-jtag.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/sw/htif-jtag.cpp -------------------------------------------------------------------------------- /benchmarks/yarvi/sw/htif-serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/benchmarks/yarvi/sw/htif-serial.c -------------------------------------------------------------------------------- /examples/fp/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/fp/Test.hs -------------------------------------------------------------------------------- /examples/fp/test01.fq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/fp/test01.fq -------------------------------------------------------------------------------- /examples/fp/test02.fq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/fp/test02.fq -------------------------------------------------------------------------------- /examples/minimal-vcs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/minimal-vcs.pl -------------------------------------------------------------------------------- /examples/minimal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/minimal.pl -------------------------------------------------------------------------------- /examples/minimal/mips-hand.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/minimal/mips-hand.pl -------------------------------------------------------------------------------- /examples/minimal/mod1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/minimal/mod1.pl -------------------------------------------------------------------------------- /examples/minimal/stall-hand.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/minimal/stall-hand.pl -------------------------------------------------------------------------------- /examples/mips-stall-minimal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/mips-stall-minimal.pl -------------------------------------------------------------------------------- /examples/mips-stall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/mips-stall.pl -------------------------------------------------------------------------------- /examples/verilog/annot-stall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/verilog/annot-stall.json -------------------------------------------------------------------------------- /examples/verilog/mod1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/verilog/mod1.v -------------------------------------------------------------------------------- /examples/verilog/modular.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/verilog/modular.v -------------------------------------------------------------------------------- /examples/verilog/stall.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/verilog/stall.v -------------------------------------------------------------------------------- /examples/verilog/yarvi-minimal.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/verilog/yarvi-minimal.v -------------------------------------------------------------------------------- /examples/yarvi-minimal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/examples/yarvi-minimal.pl -------------------------------------------------------------------------------- /iodine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iodine -------------------------------------------------------------------------------- /iverilog-parser/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/.gitignore -------------------------------------------------------------------------------- /iverilog-parser/AStatement.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/AStatement.cc -------------------------------------------------------------------------------- /iverilog-parser/AStatement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/AStatement.h -------------------------------------------------------------------------------- /iverilog-parser/Attrib.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Attrib.cc -------------------------------------------------------------------------------- /iverilog-parser/Attrib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Attrib.h -------------------------------------------------------------------------------- /iverilog-parser/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/COPYING -------------------------------------------------------------------------------- /iverilog-parser/COPYING.lesser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/COPYING.lesser -------------------------------------------------------------------------------- /iverilog-parser/ExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ExprVisitor.h -------------------------------------------------------------------------------- /iverilog-parser/HName.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/HName.cc -------------------------------------------------------------------------------- /iverilog-parser/HName.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/HName.h -------------------------------------------------------------------------------- /iverilog-parser/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/INSTALL -------------------------------------------------------------------------------- /iverilog-parser/LineInfo.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/LineInfo.cc -------------------------------------------------------------------------------- /iverilog-parser/LineInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/LineInfo.h -------------------------------------------------------------------------------- /iverilog-parser/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Makefile -------------------------------------------------------------------------------- /iverilog-parser/Module.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Module.cc -------------------------------------------------------------------------------- /iverilog-parser/Module.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Module.h -------------------------------------------------------------------------------- /iverilog-parser/PClass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PClass.cc -------------------------------------------------------------------------------- /iverilog-parser/PClass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PClass.h -------------------------------------------------------------------------------- /iverilog-parser/PDelays.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PDelays.cc -------------------------------------------------------------------------------- /iverilog-parser/PDelays.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PDelays.h -------------------------------------------------------------------------------- /iverilog-parser/PEvent.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PEvent.cc -------------------------------------------------------------------------------- /iverilog-parser/PEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PEvent.h -------------------------------------------------------------------------------- /iverilog-parser/PExpr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PExpr.cc -------------------------------------------------------------------------------- /iverilog-parser/PExpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PExpr.h -------------------------------------------------------------------------------- /iverilog-parser/PFunction.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PFunction.cc -------------------------------------------------------------------------------- /iverilog-parser/PGate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PGate.cc -------------------------------------------------------------------------------- /iverilog-parser/PGate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PGate.h -------------------------------------------------------------------------------- /iverilog-parser/PGenerate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PGenerate.cc -------------------------------------------------------------------------------- /iverilog-parser/PGenerate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PGenerate.h -------------------------------------------------------------------------------- /iverilog-parser/PModport.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PModport.cc -------------------------------------------------------------------------------- /iverilog-parser/PModport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PModport.h -------------------------------------------------------------------------------- /iverilog-parser/PPackage.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PPackage.cc -------------------------------------------------------------------------------- /iverilog-parser/PPackage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PPackage.h -------------------------------------------------------------------------------- /iverilog-parser/PScope.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PScope.cc -------------------------------------------------------------------------------- /iverilog-parser/PScope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PScope.h -------------------------------------------------------------------------------- /iverilog-parser/PSpec.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PSpec.cc -------------------------------------------------------------------------------- /iverilog-parser/PSpec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PSpec.h -------------------------------------------------------------------------------- /iverilog-parser/PTask.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PTask.cc -------------------------------------------------------------------------------- /iverilog-parser/PTask.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PTask.h -------------------------------------------------------------------------------- /iverilog-parser/PUdp.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PUdp.cc -------------------------------------------------------------------------------- /iverilog-parser/PUdp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PUdp.h -------------------------------------------------------------------------------- /iverilog-parser/PWire.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PWire.cc -------------------------------------------------------------------------------- /iverilog-parser/PWire.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PWire.h -------------------------------------------------------------------------------- /iverilog-parser/PrologExporter.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PrologExporter.cc -------------------------------------------------------------------------------- /iverilog-parser/PrologExporter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/PrologExporter.h -------------------------------------------------------------------------------- /iverilog-parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/README.md -------------------------------------------------------------------------------- /iverilog-parser/Statement.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Statement.cc -------------------------------------------------------------------------------- /iverilog-parser/Statement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Statement.h -------------------------------------------------------------------------------- /iverilog-parser/StringHeap.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/StringHeap.cc -------------------------------------------------------------------------------- /iverilog-parser/StringHeap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/StringHeap.h -------------------------------------------------------------------------------- /iverilog-parser/Visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/Visitor.h -------------------------------------------------------------------------------- /iverilog-parser/_pli_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/_pli_types.h -------------------------------------------------------------------------------- /iverilog-parser/acc_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/acc_user.h -------------------------------------------------------------------------------- /iverilog-parser/async.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/async.cc -------------------------------------------------------------------------------- /iverilog-parser/check.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/check.conf -------------------------------------------------------------------------------- /iverilog-parser/compiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/compiler.h -------------------------------------------------------------------------------- /iverilog-parser/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/config.h -------------------------------------------------------------------------------- /iverilog-parser/cprop.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/cprop.cc -------------------------------------------------------------------------------- /iverilog-parser/design_dump.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/design_dump.cc -------------------------------------------------------------------------------- /iverilog-parser/discipline.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/discipline.cc -------------------------------------------------------------------------------- /iverilog-parser/discipline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/discipline.h -------------------------------------------------------------------------------- /iverilog-parser/dup_expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/dup_expr.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_expr.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_lval.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_lval.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_net.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_net.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_scope.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_scope.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_sig.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_sig.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_sig_analog.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_sig_analog.cc -------------------------------------------------------------------------------- /iverilog-parser/elab_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elab_type.cc -------------------------------------------------------------------------------- /iverilog-parser/elaborate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elaborate.cc -------------------------------------------------------------------------------- /iverilog-parser/elaborate_analog.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/elaborate_analog.cc -------------------------------------------------------------------------------- /iverilog-parser/emit.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/emit.cc -------------------------------------------------------------------------------- /iverilog-parser/eval.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/eval.cc -------------------------------------------------------------------------------- /iverilog-parser/eval_attrib.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/eval_attrib.cc -------------------------------------------------------------------------------- /iverilog-parser/eval_tree.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/eval_tree.cc -------------------------------------------------------------------------------- /iverilog-parser/expr_synth.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/expr_synth.cc -------------------------------------------------------------------------------- /iverilog-parser/functor.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/functor.cc -------------------------------------------------------------------------------- /iverilog-parser/functor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/functor.h -------------------------------------------------------------------------------- /iverilog-parser/ivl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivl.sh -------------------------------------------------------------------------------- /iverilog-parser/ivl_alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivl_alloc.h -------------------------------------------------------------------------------- /iverilog-parser/ivl_assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivl_assert.h -------------------------------------------------------------------------------- /iverilog-parser/ivl_target.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivl_target.h -------------------------------------------------------------------------------- /iverilog-parser/ivl_target_priv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivl_target_priv.h -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/.gitignore: -------------------------------------------------------------------------------- 1 | ivlpp 2 | -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/Makefile -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/globals.h -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/ivlpp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/ivlpp.txt -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/lexor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/lexor.c -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/lexor.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/lexor.lex -------------------------------------------------------------------------------- /iverilog-parser/ivlpp/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/ivlpp/main.c -------------------------------------------------------------------------------- /iverilog-parser/lexor.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/lexor.cc -------------------------------------------------------------------------------- /iverilog-parser/lexor.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/lexor.lex -------------------------------------------------------------------------------- /iverilog-parser/lexor_keyword.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/lexor_keyword.cc -------------------------------------------------------------------------------- /iverilog-parser/lexor_keyword.gperf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/lexor_keyword.gperf -------------------------------------------------------------------------------- /iverilog-parser/lexor_keyword.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/lexor_keyword.h -------------------------------------------------------------------------------- /iverilog-parser/link_const.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/link_const.cc -------------------------------------------------------------------------------- /iverilog-parser/load_module.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/load_module.cc -------------------------------------------------------------------------------- /iverilog-parser/main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/main.cc -------------------------------------------------------------------------------- /iverilog-parser/named.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/named.h -------------------------------------------------------------------------------- /iverilog-parser/net_analog.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_analog.cc -------------------------------------------------------------------------------- /iverilog-parser/net_assign.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_assign.cc -------------------------------------------------------------------------------- /iverilog-parser/net_design.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_design.cc -------------------------------------------------------------------------------- /iverilog-parser/net_event.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_event.cc -------------------------------------------------------------------------------- /iverilog-parser/net_expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_expr.cc -------------------------------------------------------------------------------- /iverilog-parser/net_func.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_func.cc -------------------------------------------------------------------------------- /iverilog-parser/net_func_eval.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_func_eval.cc -------------------------------------------------------------------------------- /iverilog-parser/net_link.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_link.cc -------------------------------------------------------------------------------- /iverilog-parser/net_modulo.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_modulo.cc -------------------------------------------------------------------------------- /iverilog-parser/net_nex_input.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_nex_input.cc -------------------------------------------------------------------------------- /iverilog-parser/net_nex_output.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_nex_output.cc -------------------------------------------------------------------------------- /iverilog-parser/net_proc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_proc.cc -------------------------------------------------------------------------------- /iverilog-parser/net_scope.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_scope.cc -------------------------------------------------------------------------------- /iverilog-parser/net_tran.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_tran.cc -------------------------------------------------------------------------------- /iverilog-parser/net_udp.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/net_udp.cc -------------------------------------------------------------------------------- /iverilog-parser/netclass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netclass.cc -------------------------------------------------------------------------------- /iverilog-parser/netclass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netclass.h -------------------------------------------------------------------------------- /iverilog-parser/netdarray.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netdarray.cc -------------------------------------------------------------------------------- /iverilog-parser/netdarray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netdarray.h -------------------------------------------------------------------------------- /iverilog-parser/netenum.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netenum.cc -------------------------------------------------------------------------------- /iverilog-parser/netenum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netenum.h -------------------------------------------------------------------------------- /iverilog-parser/netlist.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netlist.cc -------------------------------------------------------------------------------- /iverilog-parser/netlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netlist.h -------------------------------------------------------------------------------- /iverilog-parser/netmisc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netmisc.cc -------------------------------------------------------------------------------- /iverilog-parser/netmisc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netmisc.h -------------------------------------------------------------------------------- /iverilog-parser/netparray.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netparray.cc -------------------------------------------------------------------------------- /iverilog-parser/netparray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netparray.h -------------------------------------------------------------------------------- /iverilog-parser/netqueue.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netqueue.cc -------------------------------------------------------------------------------- /iverilog-parser/netqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netqueue.h -------------------------------------------------------------------------------- /iverilog-parser/netscalar.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netscalar.cc -------------------------------------------------------------------------------- /iverilog-parser/netscalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netscalar.h -------------------------------------------------------------------------------- /iverilog-parser/netstruct.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netstruct.cc -------------------------------------------------------------------------------- /iverilog-parser/netstruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netstruct.h -------------------------------------------------------------------------------- /iverilog-parser/nettypes.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/nettypes.cc -------------------------------------------------------------------------------- /iverilog-parser/nettypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/nettypes.h -------------------------------------------------------------------------------- /iverilog-parser/netvector.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netvector.cc -------------------------------------------------------------------------------- /iverilog-parser/netvector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/netvector.h -------------------------------------------------------------------------------- /iverilog-parser/nodangle.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/nodangle.cc -------------------------------------------------------------------------------- /iverilog-parser/pad_to_width.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pad_to_width.cc -------------------------------------------------------------------------------- /iverilog-parser/parse.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse.cc -------------------------------------------------------------------------------- /iverilog-parser/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse.h -------------------------------------------------------------------------------- /iverilog-parser/parse.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse.y -------------------------------------------------------------------------------- /iverilog-parser/parse_api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse_api.h -------------------------------------------------------------------------------- /iverilog-parser/parse_misc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse_misc.cc -------------------------------------------------------------------------------- /iverilog-parser/parse_misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/parse_misc.h -------------------------------------------------------------------------------- /iverilog-parser/pform.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform.cc -------------------------------------------------------------------------------- /iverilog-parser/pform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform.h -------------------------------------------------------------------------------- /iverilog-parser/pform_analog.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_analog.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_class_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_class_type.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_disciplines.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_disciplines.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_dump.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_dump.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_package.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_package.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_pclass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_pclass.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_string_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_string_type.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_struct_type.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_struct_type.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_types.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_types.cc -------------------------------------------------------------------------------- /iverilog-parser/pform_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/pform_types.h -------------------------------------------------------------------------------- /iverilog-parser/property_qual.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/property_qual.h -------------------------------------------------------------------------------- /iverilog-parser/sv_vpi_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/sv_vpi_user.h -------------------------------------------------------------------------------- /iverilog-parser/svector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/svector.h -------------------------------------------------------------------------------- /iverilog-parser/symbol_search.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/symbol_search.cc -------------------------------------------------------------------------------- /iverilog-parser/syn-rules.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/syn-rules.cc -------------------------------------------------------------------------------- /iverilog-parser/syn-rules.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/syn-rules.y -------------------------------------------------------------------------------- /iverilog-parser/sync.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/sync.cc -------------------------------------------------------------------------------- /iverilog-parser/synth.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/synth.cc -------------------------------------------------------------------------------- /iverilog-parser/synth2.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/synth2.cc -------------------------------------------------------------------------------- /iverilog-parser/sys_funcs.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/sys_funcs.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll-analog.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll-analog.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll-api.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll-api.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll-expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll-expr.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll-proc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll-proc.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll.cc -------------------------------------------------------------------------------- /iverilog-parser/t-dll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/t-dll.h -------------------------------------------------------------------------------- /iverilog-parser/target.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/target.cc -------------------------------------------------------------------------------- /iverilog-parser/target.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/target.h -------------------------------------------------------------------------------- /iverilog-parser/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/util.h -------------------------------------------------------------------------------- /iverilog-parser/verinum.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/verinum.cc -------------------------------------------------------------------------------- /iverilog-parser/verinum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/verinum.h -------------------------------------------------------------------------------- /iverilog-parser/verireal.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/verireal.cc -------------------------------------------------------------------------------- /iverilog-parser/verireal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/verireal.h -------------------------------------------------------------------------------- /iverilog-parser/veriuser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/veriuser.h -------------------------------------------------------------------------------- /iverilog-parser/version.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/version.c -------------------------------------------------------------------------------- /iverilog-parser/version_base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/version_base.h -------------------------------------------------------------------------------- /iverilog-parser/version_tag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/version_tag.h -------------------------------------------------------------------------------- /iverilog-parser/vpi_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/iverilog-parser/vpi_user.h -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/package.yaml -------------------------------------------------------------------------------- /scripts/eqs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/eqs.py -------------------------------------------------------------------------------- /scripts/get_average.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/get_average.sh -------------------------------------------------------------------------------- /scripts/line_count.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/line_count.sh -------------------------------------------------------------------------------- /scripts/linprog/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/.gitignore -------------------------------------------------------------------------------- /scripts/linprog/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/Makefile -------------------------------------------------------------------------------- /scripts/linprog/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/README.md -------------------------------------------------------------------------------- /scripts/linprog/annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/annotation.py -------------------------------------------------------------------------------- /scripts/linprog/assumptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/assumptions.py -------------------------------------------------------------------------------- /scripts/linprog/benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/benchmark.py -------------------------------------------------------------------------------- /scripts/linprog/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/config.py -------------------------------------------------------------------------------- /scripts/linprog/minimize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/minimize.py -------------------------------------------------------------------------------- /scripts/linprog/qualifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/qualifier.py -------------------------------------------------------------------------------- /scripts/linprog/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/requirements.txt -------------------------------------------------------------------------------- /scripts/linprog/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/run.py -------------------------------------------------------------------------------- /scripts/linprog/testing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/testing.py -------------------------------------------------------------------------------- /scripts/linprog/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/linprog/utils.py -------------------------------------------------------------------------------- /scripts/parse_old_annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/parse_old_annotations.py -------------------------------------------------------------------------------- /scripts/remove_comments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/remove_comments.sh -------------------------------------------------------------------------------- /scripts/table_data.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/table_data.sh -------------------------------------------------------------------------------- /scripts/tag_equals: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/scripts/tag_equals -------------------------------------------------------------------------------- /src/Iodine/Abduction/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Abduction/Graph.hs -------------------------------------------------------------------------------- /src/Iodine/Abduction/Runner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Abduction/Runner.hs -------------------------------------------------------------------------------- /src/Iodine/Abduction/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Abduction/Transform.hs -------------------------------------------------------------------------------- /src/Iodine/Abduction/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Abduction/Types.hs -------------------------------------------------------------------------------- /src/Iodine/Abduction/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Abduction/Utils.hs -------------------------------------------------------------------------------- /src/Iodine/Language/AnnotParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Language/AnnotParser.hs -------------------------------------------------------------------------------- /src/Iodine/Language/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Language/Parser.hs -------------------------------------------------------------------------------- /src/Iodine/Language/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Language/Types.hs -------------------------------------------------------------------------------- /src/Iodine/Pipeline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Pipeline.hs -------------------------------------------------------------------------------- /src/Iodine/Runner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Runner.hs -------------------------------------------------------------------------------- /src/Iodine/Solver/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Solver/Common.hs -------------------------------------------------------------------------------- /src/Iodine/Solver/FP/FQ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Solver/FP/FQ.hs -------------------------------------------------------------------------------- /src/Iodine/Solver/FP/Solve.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Solver/FP/Solve.hs -------------------------------------------------------------------------------- /src/Iodine/Solver/FP/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Solver/FP/Types.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/DFG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/DFG.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/FP/VCGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/FP/VCGen.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/Merge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/Merge.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/Modularize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/Modularize.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/SanityCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/SanityCheck.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/TransitionRelation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/TransitionRelation.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/Utils.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/VCGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/VCGen.hs -------------------------------------------------------------------------------- /src/Iodine/Transform/Visualize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Transform/Visualize.hs -------------------------------------------------------------------------------- /src/Iodine/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Types.hs -------------------------------------------------------------------------------- /src/Iodine/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/src/Iodine/Utils.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/stack.yaml -------------------------------------------------------------------------------- /t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/t -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | a.out 2 | -------------------------------------------------------------------------------- /test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/Test.hs -------------------------------------------------------------------------------- /test/abduction/pos/abduction-01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-01.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-02.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-03.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-03.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-04.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-05.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-05.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-06.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-06.v -------------------------------------------------------------------------------- /test/abduction/pos/abduction-07.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/abduction/pos/abduction-07.v -------------------------------------------------------------------------------- /test/secverilog/secverilog.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/secverilog/secverilog.fun -------------------------------------------------------------------------------- /test/secverilog/secverilog.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/secverilog/secverilog.v -------------------------------------------------------------------------------- /test/secverilog/secverilog.z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/secverilog/secverilog.z3 -------------------------------------------------------------------------------- /test/secverilog/test-secverilog.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/secverilog/test-secverilog.sh -------------------------------------------------------------------------------- /test/secverilog/test2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/secverilog/test2.v -------------------------------------------------------------------------------- /test/test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/test.v -------------------------------------------------------------------------------- /test/verilog/neg/annot-neg-merge-01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-neg-merge-01.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-neg-test-1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-neg-test-1.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-neg-test-11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-neg-test-11.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-neg-test-2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-neg-test-2.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-neg-test-5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-neg-test-5.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-secverilog-neg-01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-secverilog-neg-01.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-secverilog-neg-02.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-secverilog-neg-02.json -------------------------------------------------------------------------------- /test/verilog/neg/annot-tp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/annot-tp.json -------------------------------------------------------------------------------- /test/verilog/neg/neg-merge-01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-merge-01.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-0.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-1.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-11.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-11.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-2.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-3.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-4.v -------------------------------------------------------------------------------- /test/verilog/neg/neg-test-5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/neg-test-5.v -------------------------------------------------------------------------------- /test/verilog/neg/secverilog-neg-01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/secverilog-neg-01.v -------------------------------------------------------------------------------- /test/verilog/neg/secverilog-neg-02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/secverilog-neg-02.v -------------------------------------------------------------------------------- /test/verilog/neg/synth.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/synth.v -------------------------------------------------------------------------------- /test/verilog/neg/tp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/neg/tp.v -------------------------------------------------------------------------------- /test/verilog/pos/annot-merge-02.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-merge-02.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-merge03.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-merge03.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-merge04-1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-merge04-1.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-merge04.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-merge04.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-secverilog-01.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-secverilog-01.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-1.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-10.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-11.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-2.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-3.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-4.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-5.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-6.json -------------------------------------------------------------------------------- /test/verilog/pos/annot-tr-test-9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/annot-tr-test-9.json -------------------------------------------------------------------------------- /test/verilog/pos/combine01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/combine01.v -------------------------------------------------------------------------------- /test/verilog/pos/combine02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/combine02.v -------------------------------------------------------------------------------- /test/verilog/pos/fpu01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/fpu01.v -------------------------------------------------------------------------------- /test/verilog/pos/inline01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/inline01.v -------------------------------------------------------------------------------- /test/verilog/pos/merge-01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge-01.v -------------------------------------------------------------------------------- /test/verilog/pos/merge-02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge-02.v -------------------------------------------------------------------------------- /test/verilog/pos/merge.fq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge.fq -------------------------------------------------------------------------------- /test/verilog/pos/merge03.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge03.v -------------------------------------------------------------------------------- /test/verilog/pos/merge04-1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge04-1.v -------------------------------------------------------------------------------- /test/verilog/pos/merge04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/merge04.v -------------------------------------------------------------------------------- /test/verilog/pos/secverilog-01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/secverilog-01.v -------------------------------------------------------------------------------- /test/verilog/pos/simple01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/simple01.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-0.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-1.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-10.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-10.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-11.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-11.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-2.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-3.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-4.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-5.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-6.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-6.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-7.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-7.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-8.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-8.v -------------------------------------------------------------------------------- /test/verilog/pos/tr-test-9.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gokhankici/iodine/HEAD/test/verilog/pos/tr-test-9.v --------------------------------------------------------------------------------