├── .appveyor.yml ├── .clang-format ├── .clang-tidy ├── .github └── workflows │ ├── clang-tidy.yml │ ├── cov.yml │ ├── ctest.yml │ ├── docker.yml │ ├── linux-deploy.yml │ ├── linux.yml │ ├── macos-deploy.yml │ └── macos.yml ├── .gitignore ├── .gitmodules ├── CHANGELOG.md ├── CMakeLists.txt ├── LICENSE ├── MANIFEST.in ├── README.rst ├── codecov.yml ├── conftest.py ├── docker ├── Dockerfile ├── Dockerfile-Cad └── Dockerfile-Test ├── docs ├── .gitignore ├── Makefile ├── advanced │ ├── attributes.rst │ ├── backend.rst │ ├── clone.rst │ ├── debug.rst │ ├── dpi.rst │ ├── fsm.rst │ ├── functions.rst │ ├── interface.rst │ ├── parameter.rst │ ├── passes.rst │ ├── statements.rst │ └── struct.rst ├── basics.rst ├── conf.py ├── generator.rst ├── images │ └── fsm.svg ├── index.rst ├── kratos.rst ├── requirements.txt ├── testbench.rst └── verilog.rst ├── examples ├── .gitignore └── uart.py ├── extern └── hgdb │ └── include │ └── json.hh ├── kratos ├── .gitignore ├── __init__.py ├── debug.py ├── formal.py ├── fsm.py ├── func.py ├── generator.py ├── interface.py ├── lib.py ├── passes.py ├── ports.py ├── pyast.py ├── sim.py ├── stmts.py ├── tb.py └── util.py ├── python ├── CMakeLists.txt ├── kratos.cc ├── kratos_codegen.cc ├── kratos_context.cc ├── kratos_debug.cc ├── kratos_debug.hh ├── kratos_enum.cc ├── kratos_event.cc ├── kratos_except.cc ├── kratos_expr.cc ├── kratos_expr.hh ├── kratos_fault.cc ├── kratos_formal.cc ├── kratos_fsm.cc ├── kratos_generator.cc ├── kratos_interface.cc ├── kratos_lib.cc ├── kratos_pass.cc ├── kratos_python.cc ├── kratos_sim.cc ├── kratos_stmt.cc ├── kratos_tb.cc └── kratos_util.cc ├── scripts ├── ci.sh ├── cov.sh └── deploy.sh ├── setup.cfg ├── setup.py ├── src ├── CMakeLists.txt ├── analysis.cc ├── analysis.hh ├── codegen.cc ├── codegen.hh ├── context.cc ├── context.hh ├── debug.cc ├── debug.hh ├── eval.cc ├── eval.hh ├── event.cc ├── event.hh ├── except.cc ├── except.hh ├── expr.cc ├── expr.hh ├── fault.cc ├── fault.hh ├── formal.cc ├── formal.hh ├── fsm.cc ├── fsm.hh ├── generator.cc ├── generator.hh ├── graph.cc ├── graph.hh ├── hash.cc ├── hash.hh ├── interface.cc ├── interface.hh ├── ir.cc ├── ir.hh ├── lib.cc ├── lib.hh ├── optimize.cc ├── optimize.hh ├── pass.cc ├── pass.hh ├── port.cc ├── port.hh ├── sim.cc ├── sim.hh ├── stmt.cc ├── stmt.hh ├── syntax.cc ├── syntax.hh ├── tb.cc ├── tb.hh ├── transform.cc ├── transform.hh ├── util.cc └── util.hh └── tests ├── .vscode └── launch.json ├── CMakeLists.txt ├── gold ├── packed_struct_pkg.sv ├── packed_struct_pkg.svh ├── test_add_child_interface_port_wiring.sv ├── test_always_latch.sv ├── test_assert_fail.sv ├── test_async_reg.sv ├── test_bundle.sv ├── test_comment.sv ├── test_const_port.sv ├── test_create.sv ├── test_create_stub.sv ├── test_data_if_false.sv ├── test_data_if_true.sv ├── test_dpi.sv ├── test_else_if.sv ├── test_enum.sv ├── test_enum_port.sv ├── test_exception.sv ├── test_fanout_mod_inst.sv ├── test_fanout_mod_inst_passthrough.sv ├── test_file_ops.sv ├── test_flush_skip.sv ├── test_for_loop.sv ├── test_for_loop_no_unroll.sv ├── test_fsm.csv ├── test_fsm.dot ├── test_fsm.sv ├── test_fsm_mealy.sv ├── test_fsm_state.sv ├── test_function.sv ├── test_gen_inst_lift.sv ├── test_generator_property.sv ├── test_interface_modport_local.sv ├── test_interface_port_wiring.sv ├── test_ir_port.sv ├── test_local_function.sv ├── test_long_statement.sv ├── test_mod_instantiation.sv ├── test_modport_io.sv ├── test_named_block.sv ├── test_nested_fsm.dot ├── test_nested_fsm.sv ├── test_nested_if.sv ├── test_nested_param.sv ├── test_not_if.sv ├── test_optimize_inline.sv ├── test_packed_array.sv ├── test_packed_struct.sv ├── test_param.sv ├── test_param_packed_struct_array.sv ├── test_param_size.sv ├── test_pass_through.sv ├── test_port_array.sv ├── test_reg_enable.sv ├── test_reg_file.sv ├── test_reg_init.sv ├── test_reg_next.sv ├── test_regression_1.sv ├── test_replace.sv ├── test_simple_pipeline.sv ├── test_single_port_sram.sv ├── test_single_port_sram_bank.sv ├── test_ssa_transform.sv ├── test_static_eval_for_loop.sv ├── test_struct_of_struct.sv ├── test_switch.sv ├── test_task.sv ├── test_tb_codegen.sv ├── test_tb_delay.sv ├── test_tb_sequence.sv ├── test_ternary.sv ├── test_wire_merge.sv └── test_wrapper_flatten_generator.sv ├── tb └── tb_dump_cov.cc ├── test_analysis.cc ├── test_analysis.py ├── test_debug.cc ├── test_debug.py ├── test_event.py ├── test_example.py ├── test_expr.cc ├── test_expr.py ├── test_fault.cc ├── test_formal.py ├── test_fsm.py ├── test_generator.cc ├── test_generator.py ├── test_interface.py ├── test_ir.cc ├── test_ir.py ├── test_lib.cc ├── test_lib.py ├── test_optimize.cc ├── test_optimize.py ├── test_pass.cc ├── test_regression.py ├── test_sim.cc ├── test_sim.py ├── test_stmt.cc ├── test_tb.cc ├── test_tb.py ├── test_transform.cc ├── test_transform.py └── vectors ├── .gitignore ├── cov.dat ├── icc_cov.txt ├── module1.sv └── module2.sv /.appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.appveyor.yml -------------------------------------------------------------------------------- /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.clang-format -------------------------------------------------------------------------------- /.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.clang-tidy -------------------------------------------------------------------------------- /.github/workflows/clang-tidy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/clang-tidy.yml -------------------------------------------------------------------------------- /.github/workflows/cov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/cov.yml -------------------------------------------------------------------------------- /.github/workflows/ctest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/ctest.yml -------------------------------------------------------------------------------- /.github/workflows/docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/docker.yml -------------------------------------------------------------------------------- /.github/workflows/linux-deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/linux-deploy.yml -------------------------------------------------------------------------------- /.github/workflows/linux.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/linux.yml -------------------------------------------------------------------------------- /.github/workflows/macos-deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/macos-deploy.yml -------------------------------------------------------------------------------- /.github/workflows/macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.github/workflows/macos.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/.gitmodules -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/README.rst -------------------------------------------------------------------------------- /codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/codecov.yml -------------------------------------------------------------------------------- /conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/conftest.py -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docker/Dockerfile-Cad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docker/Dockerfile-Cad -------------------------------------------------------------------------------- /docker/Dockerfile-Test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docker/Dockerfile-Test -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | env 3 | .vscode 4 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/advanced/attributes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/attributes.rst -------------------------------------------------------------------------------- /docs/advanced/backend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/backend.rst -------------------------------------------------------------------------------- /docs/advanced/clone.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/clone.rst -------------------------------------------------------------------------------- /docs/advanced/debug.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/debug.rst -------------------------------------------------------------------------------- /docs/advanced/dpi.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/dpi.rst -------------------------------------------------------------------------------- /docs/advanced/fsm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/fsm.rst -------------------------------------------------------------------------------- /docs/advanced/functions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/functions.rst -------------------------------------------------------------------------------- /docs/advanced/interface.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/interface.rst -------------------------------------------------------------------------------- /docs/advanced/parameter.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/parameter.rst -------------------------------------------------------------------------------- /docs/advanced/passes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/passes.rst -------------------------------------------------------------------------------- /docs/advanced/statements.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/statements.rst -------------------------------------------------------------------------------- /docs/advanced/struct.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/advanced/struct.rst -------------------------------------------------------------------------------- /docs/basics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/basics.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/generator.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/generator.rst -------------------------------------------------------------------------------- /docs/images/fsm.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/images/fsm.svg -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/kratos.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/kratos.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | kratos 2 | -------------------------------------------------------------------------------- /docs/testbench.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/testbench.rst -------------------------------------------------------------------------------- /docs/verilog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/docs/verilog.rst -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- 1 | *.sv 2 | -------------------------------------------------------------------------------- /examples/uart.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/examples/uart.py -------------------------------------------------------------------------------- /extern/hgdb/include/json.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/extern/hgdb/include/json.hh -------------------------------------------------------------------------------- /kratos/.gitignore: -------------------------------------------------------------------------------- 1 | *.hh 2 | kratos 3 | -------------------------------------------------------------------------------- /kratos/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/__init__.py -------------------------------------------------------------------------------- /kratos/debug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/debug.py -------------------------------------------------------------------------------- /kratos/formal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/formal.py -------------------------------------------------------------------------------- /kratos/fsm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/fsm.py -------------------------------------------------------------------------------- /kratos/func.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/func.py -------------------------------------------------------------------------------- /kratos/generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/generator.py -------------------------------------------------------------------------------- /kratos/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/interface.py -------------------------------------------------------------------------------- /kratos/lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/lib.py -------------------------------------------------------------------------------- /kratos/passes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/passes.py -------------------------------------------------------------------------------- /kratos/ports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/ports.py -------------------------------------------------------------------------------- /kratos/pyast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/pyast.py -------------------------------------------------------------------------------- /kratos/sim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/sim.py -------------------------------------------------------------------------------- /kratos/stmts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/stmts.py -------------------------------------------------------------------------------- /kratos/tb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/tb.py -------------------------------------------------------------------------------- /kratos/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/kratos/util.py -------------------------------------------------------------------------------- /python/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/CMakeLists.txt -------------------------------------------------------------------------------- /python/kratos.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos.cc -------------------------------------------------------------------------------- /python/kratos_codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_codegen.cc -------------------------------------------------------------------------------- /python/kratos_context.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_context.cc -------------------------------------------------------------------------------- /python/kratos_debug.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_debug.cc -------------------------------------------------------------------------------- /python/kratos_debug.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_debug.hh -------------------------------------------------------------------------------- /python/kratos_enum.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_enum.cc -------------------------------------------------------------------------------- /python/kratos_event.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_event.cc -------------------------------------------------------------------------------- /python/kratos_except.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_except.cc -------------------------------------------------------------------------------- /python/kratos_expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_expr.cc -------------------------------------------------------------------------------- /python/kratos_expr.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_expr.hh -------------------------------------------------------------------------------- /python/kratos_fault.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_fault.cc -------------------------------------------------------------------------------- /python/kratos_formal.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_formal.cc -------------------------------------------------------------------------------- /python/kratos_fsm.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_fsm.cc -------------------------------------------------------------------------------- /python/kratos_generator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_generator.cc -------------------------------------------------------------------------------- /python/kratos_interface.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_interface.cc -------------------------------------------------------------------------------- /python/kratos_lib.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_lib.cc -------------------------------------------------------------------------------- /python/kratos_pass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_pass.cc -------------------------------------------------------------------------------- /python/kratos_python.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_python.cc -------------------------------------------------------------------------------- /python/kratos_sim.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_sim.cc -------------------------------------------------------------------------------- /python/kratos_stmt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_stmt.cc -------------------------------------------------------------------------------- /python/kratos_tb.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_tb.cc -------------------------------------------------------------------------------- /python/kratos_util.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/python/kratos_util.cc -------------------------------------------------------------------------------- /scripts/ci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/scripts/ci.sh -------------------------------------------------------------------------------- /scripts/cov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/scripts/cov.sh -------------------------------------------------------------------------------- /scripts/deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/scripts/deploy.sh -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- 1 | [pycodestyle] 2 | max-line-length = 120 3 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/setup.py -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/analysis.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/analysis.cc -------------------------------------------------------------------------------- /src/analysis.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/analysis.hh -------------------------------------------------------------------------------- /src/codegen.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/codegen.cc -------------------------------------------------------------------------------- /src/codegen.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/codegen.hh -------------------------------------------------------------------------------- /src/context.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/context.cc -------------------------------------------------------------------------------- /src/context.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/context.hh -------------------------------------------------------------------------------- /src/debug.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/debug.cc -------------------------------------------------------------------------------- /src/debug.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/debug.hh -------------------------------------------------------------------------------- /src/eval.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/eval.cc -------------------------------------------------------------------------------- /src/eval.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/eval.hh -------------------------------------------------------------------------------- /src/event.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/event.cc -------------------------------------------------------------------------------- /src/event.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/event.hh -------------------------------------------------------------------------------- /src/except.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/except.cc -------------------------------------------------------------------------------- /src/except.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/except.hh -------------------------------------------------------------------------------- /src/expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/expr.cc -------------------------------------------------------------------------------- /src/expr.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/expr.hh -------------------------------------------------------------------------------- /src/fault.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/fault.cc -------------------------------------------------------------------------------- /src/fault.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/fault.hh -------------------------------------------------------------------------------- /src/formal.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/formal.cc -------------------------------------------------------------------------------- /src/formal.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/formal.hh -------------------------------------------------------------------------------- /src/fsm.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/fsm.cc -------------------------------------------------------------------------------- /src/fsm.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/fsm.hh -------------------------------------------------------------------------------- /src/generator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/generator.cc -------------------------------------------------------------------------------- /src/generator.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/generator.hh -------------------------------------------------------------------------------- /src/graph.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/graph.cc -------------------------------------------------------------------------------- /src/graph.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/graph.hh -------------------------------------------------------------------------------- /src/hash.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/hash.cc -------------------------------------------------------------------------------- /src/hash.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/hash.hh -------------------------------------------------------------------------------- /src/interface.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/interface.cc -------------------------------------------------------------------------------- /src/interface.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/interface.hh -------------------------------------------------------------------------------- /src/ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/ir.cc -------------------------------------------------------------------------------- /src/ir.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/ir.hh -------------------------------------------------------------------------------- /src/lib.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/lib.cc -------------------------------------------------------------------------------- /src/lib.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/lib.hh -------------------------------------------------------------------------------- /src/optimize.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/optimize.cc -------------------------------------------------------------------------------- /src/optimize.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/optimize.hh -------------------------------------------------------------------------------- /src/pass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/pass.cc -------------------------------------------------------------------------------- /src/pass.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/pass.hh -------------------------------------------------------------------------------- /src/port.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/port.cc -------------------------------------------------------------------------------- /src/port.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/port.hh -------------------------------------------------------------------------------- /src/sim.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/sim.cc -------------------------------------------------------------------------------- /src/sim.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/sim.hh -------------------------------------------------------------------------------- /src/stmt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/stmt.cc -------------------------------------------------------------------------------- /src/stmt.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/stmt.hh -------------------------------------------------------------------------------- /src/syntax.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/syntax.cc -------------------------------------------------------------------------------- /src/syntax.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/syntax.hh -------------------------------------------------------------------------------- /src/tb.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/tb.cc -------------------------------------------------------------------------------- /src/tb.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/tb.hh -------------------------------------------------------------------------------- /src/transform.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/transform.cc -------------------------------------------------------------------------------- /src/transform.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/transform.hh -------------------------------------------------------------------------------- /src/util.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/util.cc -------------------------------------------------------------------------------- /src/util.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/src/util.hh -------------------------------------------------------------------------------- /tests/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/.vscode/launch.json -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/gold/packed_struct_pkg.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/packed_struct_pkg.sv -------------------------------------------------------------------------------- /tests/gold/packed_struct_pkg.svh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/packed_struct_pkg.svh -------------------------------------------------------------------------------- /tests/gold/test_add_child_interface_port_wiring.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_add_child_interface_port_wiring.sv -------------------------------------------------------------------------------- /tests/gold/test_always_latch.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_always_latch.sv -------------------------------------------------------------------------------- /tests/gold/test_assert_fail.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_assert_fail.sv -------------------------------------------------------------------------------- /tests/gold/test_async_reg.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_async_reg.sv -------------------------------------------------------------------------------- /tests/gold/test_bundle.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_bundle.sv -------------------------------------------------------------------------------- /tests/gold/test_comment.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_comment.sv -------------------------------------------------------------------------------- /tests/gold/test_const_port.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_const_port.sv -------------------------------------------------------------------------------- /tests/gold/test_create.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_create.sv -------------------------------------------------------------------------------- /tests/gold/test_create_stub.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_create_stub.sv -------------------------------------------------------------------------------- /tests/gold/test_data_if_false.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_data_if_false.sv -------------------------------------------------------------------------------- /tests/gold/test_data_if_true.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_data_if_true.sv -------------------------------------------------------------------------------- /tests/gold/test_dpi.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_dpi.sv -------------------------------------------------------------------------------- /tests/gold/test_else_if.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_else_if.sv -------------------------------------------------------------------------------- /tests/gold/test_enum.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_enum.sv -------------------------------------------------------------------------------- /tests/gold/test_enum_port.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_enum_port.sv -------------------------------------------------------------------------------- /tests/gold/test_exception.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_exception.sv -------------------------------------------------------------------------------- /tests/gold/test_fanout_mod_inst.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fanout_mod_inst.sv -------------------------------------------------------------------------------- /tests/gold/test_fanout_mod_inst_passthrough.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fanout_mod_inst_passthrough.sv -------------------------------------------------------------------------------- /tests/gold/test_file_ops.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_file_ops.sv -------------------------------------------------------------------------------- /tests/gold/test_flush_skip.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_flush_skip.sv -------------------------------------------------------------------------------- /tests/gold/test_for_loop.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_for_loop.sv -------------------------------------------------------------------------------- /tests/gold/test_for_loop_no_unroll.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_for_loop_no_unroll.sv -------------------------------------------------------------------------------- /tests/gold/test_fsm.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fsm.csv -------------------------------------------------------------------------------- /tests/gold/test_fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fsm.dot -------------------------------------------------------------------------------- /tests/gold/test_fsm.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fsm.sv -------------------------------------------------------------------------------- /tests/gold/test_fsm_mealy.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fsm_mealy.sv -------------------------------------------------------------------------------- /tests/gold/test_fsm_state.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_fsm_state.sv -------------------------------------------------------------------------------- /tests/gold/test_function.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_function.sv -------------------------------------------------------------------------------- /tests/gold/test_gen_inst_lift.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_gen_inst_lift.sv -------------------------------------------------------------------------------- /tests/gold/test_generator_property.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_generator_property.sv -------------------------------------------------------------------------------- /tests/gold/test_interface_modport_local.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_interface_modport_local.sv -------------------------------------------------------------------------------- /tests/gold/test_interface_port_wiring.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_interface_port_wiring.sv -------------------------------------------------------------------------------- /tests/gold/test_ir_port.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_ir_port.sv -------------------------------------------------------------------------------- /tests/gold/test_local_function.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_local_function.sv -------------------------------------------------------------------------------- /tests/gold/test_long_statement.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_long_statement.sv -------------------------------------------------------------------------------- /tests/gold/test_mod_instantiation.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_mod_instantiation.sv -------------------------------------------------------------------------------- /tests/gold/test_modport_io.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_modport_io.sv -------------------------------------------------------------------------------- /tests/gold/test_named_block.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_named_block.sv -------------------------------------------------------------------------------- /tests/gold/test_nested_fsm.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_nested_fsm.dot -------------------------------------------------------------------------------- /tests/gold/test_nested_fsm.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_nested_fsm.sv -------------------------------------------------------------------------------- /tests/gold/test_nested_if.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_nested_if.sv -------------------------------------------------------------------------------- /tests/gold/test_nested_param.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_nested_param.sv -------------------------------------------------------------------------------- /tests/gold/test_not_if.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_not_if.sv -------------------------------------------------------------------------------- /tests/gold/test_optimize_inline.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_optimize_inline.sv -------------------------------------------------------------------------------- /tests/gold/test_packed_array.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_packed_array.sv -------------------------------------------------------------------------------- /tests/gold/test_packed_struct.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_packed_struct.sv -------------------------------------------------------------------------------- /tests/gold/test_param.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_param.sv -------------------------------------------------------------------------------- /tests/gold/test_param_packed_struct_array.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_param_packed_struct_array.sv -------------------------------------------------------------------------------- /tests/gold/test_param_size.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_param_size.sv -------------------------------------------------------------------------------- /tests/gold/test_pass_through.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_pass_through.sv -------------------------------------------------------------------------------- /tests/gold/test_port_array.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_port_array.sv -------------------------------------------------------------------------------- /tests/gold/test_reg_enable.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_reg_enable.sv -------------------------------------------------------------------------------- /tests/gold/test_reg_file.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_reg_file.sv -------------------------------------------------------------------------------- /tests/gold/test_reg_init.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_reg_init.sv -------------------------------------------------------------------------------- /tests/gold/test_reg_next.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_reg_next.sv -------------------------------------------------------------------------------- /tests/gold/test_regression_1.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_regression_1.sv -------------------------------------------------------------------------------- /tests/gold/test_replace.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_replace.sv -------------------------------------------------------------------------------- /tests/gold/test_simple_pipeline.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_simple_pipeline.sv -------------------------------------------------------------------------------- /tests/gold/test_single_port_sram.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_single_port_sram.sv -------------------------------------------------------------------------------- /tests/gold/test_single_port_sram_bank.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_single_port_sram_bank.sv -------------------------------------------------------------------------------- /tests/gold/test_ssa_transform.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_ssa_transform.sv -------------------------------------------------------------------------------- /tests/gold/test_static_eval_for_loop.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_static_eval_for_loop.sv -------------------------------------------------------------------------------- /tests/gold/test_struct_of_struct.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_struct_of_struct.sv -------------------------------------------------------------------------------- /tests/gold/test_switch.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_switch.sv -------------------------------------------------------------------------------- /tests/gold/test_task.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_task.sv -------------------------------------------------------------------------------- /tests/gold/test_tb_codegen.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_tb_codegen.sv -------------------------------------------------------------------------------- /tests/gold/test_tb_delay.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_tb_delay.sv -------------------------------------------------------------------------------- /tests/gold/test_tb_sequence.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_tb_sequence.sv -------------------------------------------------------------------------------- /tests/gold/test_ternary.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_ternary.sv -------------------------------------------------------------------------------- /tests/gold/test_wire_merge.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_wire_merge.sv -------------------------------------------------------------------------------- /tests/gold/test_wrapper_flatten_generator.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/gold/test_wrapper_flatten_generator.sv -------------------------------------------------------------------------------- /tests/tb/tb_dump_cov.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/tb/tb_dump_cov.cc -------------------------------------------------------------------------------- /tests/test_analysis.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_analysis.cc -------------------------------------------------------------------------------- /tests/test_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_analysis.py -------------------------------------------------------------------------------- /tests/test_debug.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_debug.cc -------------------------------------------------------------------------------- /tests/test_debug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_debug.py -------------------------------------------------------------------------------- /tests/test_event.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_event.py -------------------------------------------------------------------------------- /tests/test_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_example.py -------------------------------------------------------------------------------- /tests/test_expr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_expr.cc -------------------------------------------------------------------------------- /tests/test_expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_expr.py -------------------------------------------------------------------------------- /tests/test_fault.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_fault.cc -------------------------------------------------------------------------------- /tests/test_formal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_formal.py -------------------------------------------------------------------------------- /tests/test_fsm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_fsm.py -------------------------------------------------------------------------------- /tests/test_generator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_generator.cc -------------------------------------------------------------------------------- /tests/test_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_generator.py -------------------------------------------------------------------------------- /tests/test_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_interface.py -------------------------------------------------------------------------------- /tests/test_ir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_ir.cc -------------------------------------------------------------------------------- /tests/test_ir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_ir.py -------------------------------------------------------------------------------- /tests/test_lib.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_lib.cc -------------------------------------------------------------------------------- /tests/test_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_lib.py -------------------------------------------------------------------------------- /tests/test_optimize.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_optimize.cc -------------------------------------------------------------------------------- /tests/test_optimize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_optimize.py -------------------------------------------------------------------------------- /tests/test_pass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_pass.cc -------------------------------------------------------------------------------- /tests/test_regression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_regression.py -------------------------------------------------------------------------------- /tests/test_sim.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_sim.cc -------------------------------------------------------------------------------- /tests/test_sim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_sim.py -------------------------------------------------------------------------------- /tests/test_stmt.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_stmt.cc -------------------------------------------------------------------------------- /tests/test_tb.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_tb.cc -------------------------------------------------------------------------------- /tests/test_tb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_tb.py -------------------------------------------------------------------------------- /tests/test_transform.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_transform.cc -------------------------------------------------------------------------------- /tests/test_transform.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/test_transform.py -------------------------------------------------------------------------------- /tests/vectors/.gitignore: -------------------------------------------------------------------------------- 1 | obj_dir 2 | -------------------------------------------------------------------------------- /tests/vectors/cov.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/vectors/cov.dat -------------------------------------------------------------------------------- /tests/vectors/icc_cov.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/vectors/icc_cov.txt -------------------------------------------------------------------------------- /tests/vectors/module1.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/vectors/module1.sv -------------------------------------------------------------------------------- /tests/vectors/module2.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kuree/kratos/HEAD/tests/vectors/module2.sv --------------------------------------------------------------------------------