How to use the kratos.Generator function in kratos
To help you get started, we’ve selected a few kratos examples, based on popular ways it is used in public projects.
Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
leonardt / fault / tests / test_kratos_debug.py View on Github 
def test_veriltor_load():
# define an empty circuit
mod = kratos.Generator("mod")
with tempfile.TemporaryDirectory() as temp:
def run_test():
# -g without the db dump
circuit = kratos.util.to_magma(mod, insert_debug_info=True)
tester = fault.Tester(circuit)
tester.compile_and_run(target="verilator",
directory=temp,
magma_output="verilog",
use_kratos=True)
mock_debugger(run_test)def test_load_runtime():
# define an empty circuit
mod = kratos.Generator("mod")
with tempfile.TemporaryDirectory() as temp:
def run_test():
# -g without the db dump
circuit = kratos.util.to_magma(mod, insert_debug_info=True)
tester = fault.Tester(circuit)
tester.compile_and_run(target="system-verilog",
simulator="ncsim",
directory=temp,
magma_output="verilog",
use_kratos=True)
mock_debugger(run_test)kratos
Kratos is a fast hardware design language embedded in Python
