diff --git a/.doctrees/api.doctree b/.doctrees/api.doctree
index 453f7b2..5ebfc9a 100644
Binary files a/.doctrees/api.doctree and b/.doctrees/api.doctree differ
diff --git a/.doctrees/environment.pickle b/.doctrees/environment.pickle
index 11129b2..2bddefa 100644
Binary files a/.doctrees/environment.pickle and b/.doctrees/environment.pickle differ
diff --git a/.doctrees/transactron.core.doctree b/.doctrees/transactron.core.doctree
index 16dbcba..c1ffba6 100644
Binary files a/.doctrees/transactron.core.doctree and b/.doctrees/transactron.core.doctree differ
diff --git a/.doctrees/transactron.lib.doctree b/.doctrees/transactron.lib.doctree
index ba74439..987a2f6 100644
Binary files a/.doctrees/transactron.lib.doctree and b/.doctrees/transactron.lib.doctree differ
diff --git a/api.html b/api.html
index cb1b6cd..dfbf0b9 100644
--- a/api.html
+++ b/api.html
@@ -168,7 +168,7 @@ <h2>transactron<a class="headerlink" href="#transactron" title="Permalink to thi
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/development-environment.html b/development-environment.html
index 2ab82c9..dde53c1 100644
--- a/development-environment.html
+++ b/development-environment.html
@@ -181,7 +181,7 @@ <h3>tprof.py<a class="headerlink" href="#tprof-py" title="Permalink to this head
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/genindex.html b/genindex.html
index c78e429..9e770b0 100644
--- a/genindex.html
+++ b/genindex.html
@@ -107,6 +107,8 @@ <h2 id="_">_</h2>
         <li><a href="transactron.core.html#transactron.core.manager.TransactionModule.__init__">(transactron.core.manager.TransactionModule method)</a>
 </li>
         <li><a href="transactron.core.html#transactron.core.method.Method.__init__">(transactron.core.method.Method method)</a>
+</li>
+        <li><a href="transactron.core.html#transactron.core.method.Methods.__init__">(transactron.core.method.Methods method)</a>
 </li>
         <li><a href="transactron.core.html#transactron.core.tmodule.TModule.__init__">(transactron.core.tmodule.TModule method)</a>
 </li>
@@ -469,6 +471,8 @@ <h2 id="D">D</h2>
 
       <ul>
         <li><a href="transactron.core.html#transactron.core.method.Method.debug_signals">(transactron.core.method.Method method)</a>
+</li>
+        <li><a href="transactron.core.html#transactron.core.method.Methods.debug_signals">(transactron.core.method.Methods method)</a>
 </li>
         <li><a href="transactron.core.html#transactron.core.transaction.Transaction.debug_signals">(transactron.core.transaction.Transaction method)</a>
 </li>
@@ -501,6 +505,8 @@ <h2 id="D">D</h2>
 </li>
       <li><a href="transactron.core.html#transactron.core.tmodule.TModule.Default">Default() (transactron.core.tmodule.TModule method)</a>
 </li>
+  </ul></td>
+  <td style="width: 33%; vertical-align: top;"><ul>
       <li><a href="transactron.lib.html#transactron.lib.dependencies.SimpleKey.default_value">default_value (transactron.lib.dependencies.SimpleKey attribute)</a>
 
       <ul>
@@ -509,8 +515,6 @@ <h2 id="D">D</h2>
         <li><a href="transactron.utils.html#transactron.utils.dependencies.SimpleKey.default_value">(transactron.utils.dependencies.SimpleKey attribute)</a>
 </li>
       </ul></li>
-  </ul></td>
-  <td style="width: 33%; vertical-align: top;"><ul>
       <li><a href="transactron.core.html#transactron.core.transaction_base.TransactionBase.defined">defined (transactron.core.transaction_base.TransactionBase attribute)</a>
 </li>
       <li><a href="transactron.testing.html#transactron.testing.infrastructure.TestCaseWithSimulator.dependency_manager">dependency_manager (transactron.testing.infrastructure.TestCaseWithSimulator attribute)</a>
@@ -814,9 +818,17 @@ <h2 id="L">L</h2>
 <table style="width: 100%" class="indextable genindextable"><tr>
   <td style="width: 33%; vertical-align: top;"><ul>
       <li><a href="transactron.core.html#transactron.core.method.Method.layout_in">layout_in (transactron.core.method.Method property)</a>
+
+      <ul>
+        <li><a href="transactron.core.html#transactron.core.method.Methods.layout_in">(transactron.core.method.Methods property)</a>
 </li>
+      </ul></li>
       <li><a href="transactron.core.html#transactron.core.method.Method.layout_out">layout_out (transactron.core.method.Method property)</a>
+
+      <ul>
+        <li><a href="transactron.core.html#transactron.core.method.Methods.layout_out">(transactron.core.method.Methods property)</a>
 </li>
+      </ul></li>
       <li><a href="transactron.utils.html#transactron.utils.data_repr.layout_subset">layout_subset() (in module transactron.utils.data_repr)</a>
 </li>
       <li><a href="transactron.core.html#transactron.core.transaction_base.Priority.LEFT">LEFT (transactron.core.transaction_base.Priority attribute)</a>
@@ -833,10 +845,10 @@ <h2 id="L">L</h2>
         <li><a href="transactron.utils.html#transactron.utils.dependencies.ListKey">(class in transactron.utils.dependencies)</a>
 </li>
       </ul></li>
-      <li><a href="transactron.lib.html#transactron.lib.logging.LogRecordInfo.location">location (transactron.lib.logging.LogRecordInfo attribute)</a>
-</li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
+      <li><a href="transactron.lib.html#transactron.lib.logging.LogRecordInfo.location">location (transactron.lib.logging.LogRecordInfo attribute)</a>
+</li>
       <li><a href="transactron.lib.html#transactron.lib.dependencies.DependencyKey.lock_on_get">lock_on_get (transactron.lib.dependencies.DependencyKey attribute)</a>
 
       <ul>
@@ -914,6 +926,8 @@ <h2 id="M">M</h2>
       <li><a href="transactron.testing.html#transactron.testing.method_mock.MethodMock">MethodMock (class in transactron.testing.method_mock)</a>
 </li>
       <li><a href="transactron.lib.html#transactron.lib.transformers.MethodProduct">MethodProduct (class in transactron.lib.transformers)</a>
+</li>
+      <li><a href="transactron.core.html#transactron.core.method.Methods">Methods (class in transactron.core.method)</a>
 </li>
       <li><a href="transactron.html#transactron.profiler.ProfileSamples.methods">methods (transactron.profiler.ProfileSamples attribute)</a>
 </li>
@@ -1799,7 +1813,7 @@ <h2 id="W">W</h2>
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/index.html b/index.html
index 2b14b9e..a05e299 100644
--- a/index.html
+++ b/index.html
@@ -129,7 +129,7 @@ <h1>Transactron<a class="headerlink" href="#transactron" title="Permalink to thi
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/modules.html b/modules.html
index f7f16ec..1b7dfb2 100644
--- a/modules.html
+++ b/modules.html
@@ -154,7 +154,7 @@ <h1>transactron<a class="headerlink" href="#transactron" title="Permalink to thi
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/objects.inv b/objects.inv
index fdacb0c..2635d6e 100644
Binary files a/objects.inv and b/objects.inv differ
diff --git a/py-modindex.html b/py-modindex.html
index 25df274..1e9a79c 100644
--- a/py-modindex.html
+++ b/py-modindex.html
@@ -333,7 +333,7 @@ <h1>Python Module Index</h1>
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/search.html b/search.html
index 4cc5b21..aaf1d87 100644
--- a/search.html
+++ b/search.html
@@ -91,7 +91,7 @@
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/searchindex.js b/searchindex.js
index b989d29..348977f 100644
--- a/searchindex.js
+++ b/searchindex.js
@@ -1 +1 @@
-Search.setIndex({"docnames": ["api", "development-environment", "index", "modules", "transactions", "transactron", "transactron.core", "transactron.lib", "transactron.testing", "transactron.utils", "transactron.utils.amaranth_ext"], "filenames": ["api.md", "development-environment.md", "index.md", "modules.rst", "transactions.md", "transactron.rst", "transactron.core.rst", "transactron.lib.rst", "transactron.testing.rst", "transactron.utils.rst", "transactron.utils.amaranth_ext.rst"], "titles": ["API", "Development environment", "Transactron", "transactron", "Documentation for Transactron", "transactron package", "transactron.core package", "transactron.lib package", "transactron.testing package", "transactron.utils package", "transactron.utils.amaranth_ext package"], "terms": {"packag": [0, 1, 2, 3], "subpackag": [0, 3], "core": [0, 3, 5, 7, 9], "submodul": [0, 3], "kei": [0, 3, 5, 7, 9], "modul": [0, 1, 3, 4], "manag": [0, 1, 3, 4, 5, 7, 9], "method": [0, 1, 2, 3, 5, 7, 8, 9, 10], "schedul": [0, 2, 3, 5, 7, 10], "sugar": [0, 3, 5, 10], "tmodul": [0, 3, 4, 5, 7], "transact": [0, 1, 2, 3, 5, 7, 10], "transaction_bas": [0, 3, 5], "content": [0, 3], "lib": [0, 3, 5, 6, 8, 9, 10], "adapt": [0, 3, 4, 5, 8], "alloc": [0, 3, 5], "button": [0, 3, 5], "connector": [0, 3, 5], "depend": [0, 3, 4, 5, 10], "fifo": [0, 3, 4, 5, 6], "log": [0, 1, 3, 5, 9], "metric": [0, 3, 5, 9], "reqr": [0, 3, 5], "simultan": [0, 3, 4, 5, 6], "storag": [0, 3, 5], "transform": [0, 3, 5], "test": [0, 2, 3, 5, 6, 7, 9, 10], "function": [0, 3, 4, 5, 6, 7, 9], "infrastructur": [0, 3, 5], "input_gener": [0, 3, 5], "method_mock": [0, 3, 5], "profil": [0, 1, 3], "testbenchio": [0, 3, 5], "tick_count": [0, 3, 5], "util": [0, 3, 5, 7], "assign": [0, 3, 4, 5, 6], "data_repr": [0, 3, 5], "debug_sign": [0, 3, 5, 6, 7, 8], "depcach": [0, 3, 5], "gen": [0, 3, 5], "idgen": [0, 3, 5], "transactron_help": [0, 3, 5], "graph": [0, 1, 3, 6], "trace": [0, 1, 3], "In": [1, 4, 5, 6, 7, 8, 9, 10], "order": [1, 2, 6, 7, 10], "prepar": [1, 5], "pleas": [1, 4], "follow": [1, 4, 7, 8, 9], "step": [1, 4], "below": [1, 7], "instal": 1, "python": [1, 4, 6, 7, 8, 9], "3": [1, 5, 6, 9], "11": 1, "interpret": [1, 7, 9], "pip": 1, "option": [1, 4, 5, 6, 7, 8, 9, 10], "creat": [1, 4, 6, 7, 8, 9, 10], "virtual": 1, "python3": 1, "m": [1, 4, 6, 7, 10], "venv": 1, "project": [1, 4, 6], "directori": 1, "activ": [1, 6, 7, 8, 10], "gener": [1, 5, 6, 7, 8, 9, 10], "bin": 1, "all": [1, 4, 5, 6, 7, 9, 10], "requir": [1, 4, 5, 6], "librari": [1, 2, 7], "pip3": 1, "dev": 1, "precommit": 1, "hook": [1, 5, 7], "pre": 1, "commit": 1, "thi": [1, 4, 5, 6, 7, 8, 9, 10], "automat": [1, 8, 9, 10], "linter": 1, "befor": [1, 4, 6, 7], "ar": [1, 4, 5, 6, 7, 8, 9, 10], "pytest": 1, "thing": [1, 4, 7, 9], "know": 1, "To": [1, 7, 9], "speed": 1, "multipl": [1, 4, 6, 7, 8, 9, 10], "worker": 1, "thread": 1, "can": [1, 4, 5, 6, 7, 8, 9, 10], "n": [1, 6, 7, 10], "auto": 1, "onli": [1, 4, 5, 6, 7, 8, 9, 10], "some": [1, 4, 6, 7], "k": 1, "express": [1, 4, 7], "format": [1, 4, 5, 6, 7, 9, 10], "i": [1, 4, 5, 6, 7, 8, 9, 10], "describ": [1, 5, 6, 7, 8], "doc": 1, "abl": [1, 7], "read": [1, 4, 6, 7, 9], "standard": [1, 7, 8, 10], "output": [1, 6, 7, 8, 10], "even": [1, 4, 6, 7], "success": [1, 8], "": [1, 4, 5, 6, 7, 9, 10], "custom": [1, 7], "transactron": 1, "file": [1, 9], "readabl": [1, 7], "gtkwave": [1, 9], "The": [1, 2, 5, 6, 7, 8, 9, 10], "save": [1, 5, 7, 9], "__traces__": 1, "execut": [1, 4, 5, 6, 7, 8], "name": [1, 4, 5, 6, 7, 8, 9, 10], "__profiles__": 1, "filter": [1, 7], "allow": [1, 4, 6, 7, 8, 10], "contain": [1, 4, 6, 7, 9, 10], "number": [1, 5, 6, 7, 8, 9, 10], "which": [1, 4, 5, 6, 7, 8, 9, 10], "ci": 1, "also": [1, 4, 7, 8], "intend": [1, 6, 10], "local": 1, "thei": [1, 4, 6, 7], "check": [1, 6, 7, 9], "code": [1, 4, 5, 7, 9], "type": [1, 6, 7, 8, 9], "It": [1, 4, 5, 6, 7, 8, 9, 10], "should": [1, 4, 6, 7, 8, 9, 10], "subcommand": 1, "filenam": 1, "main": 1, "avail": [1, 7], "reformat": 1, "black": 1, "check_format": 1, "verifi": 1, "flake8": 1, "check_typ": 1, "pyright": 1, "same": [1, 4, 6, 7, 9, 10], "when": [1, 4, 6, 7, 8, 9, 10], "confront": 1, "would": [1, 4, 7, 9], "messag": [1, 7], "from": [1, 4, 5, 6, 7, 8, 9, 10], "you": [1, 6, 7, 10], "mai": [1, 7, 9], "diff": 1, "wai": [1, 4, 6, 7, 9, 10], "displai": 1, "chang": [1, 4, 7, 8, 9, 10], "appli": [1, 5, 6, 8], "chose": 1, "help": [1, 7], "locat": [1, 5, 6, 7, 9], "issu": [1, 4, 7], "document": [1, 2], "sphinx": 1, "html": 1, "build": [1, 7], "process": [1, 7, 8], "present": [1, 4, 7, 9], "them": [1, 4, 6, 7, 9], "run_test": 1, "__profile__": 1, "profile_fil": 1, "json": [1, 9], "inform": [1, 5, 7, 9], "about": [1, 5, 7, 9], "default": [1, 4, 5, 6, 7, 9, 10], "For": [1, 4, 5, 7, 9, 10], "one": [1, 4, 6, 7, 8, 9, 10], "mode": 1, "column": 1, "have": [1, 4, 6, 7, 8, 9, 10], "mean": [1, 6, 7], "question": [1, 4], "togeth": [1, 4, 6], "differenti": 1, "between": [1, 4, 6, 7, 8, 9, 10], "ident": [1, 7, 10], "differ": [1, 6, 7, 8, 9, 10], "sourc": [1, 5, 6, 7], "line": 1, "where": [1, 4, 6, 7, 8, 9], "wa": [1, 4, 5, 6, 7, 8, 9], "declar": [1, 4, 7, 8], "further": [1, 7], "disambigu": 1, "lock": [1, 4, 5, 7], "show": 1, "cycl": [1, 4, 5, 6, 7, 8], "caller": [1, 4, 5, 6, 7], "call": [1, 4, 5, 6, 7, 8, 9, 10], "fals": [1, 4, 5, 6, 7, 9, 10], "condit": [1, 4, 5, 6, 7], "could": [1, 4, 7, 8], "forc": 1, "wait": [1, 6, 8], "anoth": [1, 4, 6, 7, 8], "conflict": [1, 2, 5, 6], "given": [1, 4, 5, 6, 7, 8, 9, 10], "produc": [1, 6], "each": [1, 4, 5, 6, 7, 8, 9, 10], "tree": [1, 5, 7], "counter": [1, 7], "root": [1, 5], "count": [1, 6, 7, 10], "an": [1, 4, 5, 6, 7, 8, 9, 10], "invert": 1, "leav": 1, "children": 1, "node": 1, "field": [1, 4, 5, 6, 7, 9], "how": [1, 6, 7], "mani": [1, 4, 5, 6, 7, 8, 9], "respons": [1, 6, 7], "other": [1, 4, 5, 6, 7, 10], "sort": [1, 7, 10], "select": [1, 7, 10], "row": 1, "regular": 1, "loc": 1, "develop": [2, 7], "environ": 2, "set": [2, 6, 7, 8, 9, 10], "up": [2, 7, 9], "run": [2, 4, 5, 6, 7, 8, 10], "us": [2, 4, 6, 7, 8, 9, 10], "script": 2, "lint": 2, "sh": 2, "build_doc": 2, "tprof": 2, "py": [2, 8], "introduct": 2, "basic": [2, 7], "usag": 2, "implement": [2, 7, 9, 10], "argument": [2, 6, 7, 8, 9, 10], "pass": [2, 6, 7, 8, 9], "convent": 2, "definit": [2, 6, 8], "return": [2, 6, 7, 9, 10], "valu": [2, 5, 6, 7, 8, 9, 10], "readi": [2, 5, 6, 7, 10], "signal": [2, 5, 6, 7, 8, 9, 10], "advanc": [2, 8], "concept": 2, "special": [2, 7], "combin": [2, 6, 7, 8, 9], "domain": [2, 6], "nest": [2, 7], "api": 2, "amaranth": [4, 5, 6, 7, 8, 9, 10], "connect": [4, 6, 7, 10], "complex": [4, 7], "inspir": 4, "bluespec": 4, "program": 4, "languag": 4, "see": [4, 7], "wiki": 4, "compil": 4, "idea": 4, "interfac": [4, 6, 7], "hardwar": [4, 7], "A": [4, 5, 6, 7, 8, 9], "state": [4, 6, 7, 8], "oper": [4, 6, 7, 10], "perform": [4, 6, 7, 8, 9, 10], "singl": [4, 6, 7, 8, 9], "clock": [4, 5, 6, 7, 8], "atom": 4, "either": [4, 6, 7, 8, 9, 10], "its": [4, 6, 7, 8, 9, 10], "entrieti": 4, "doe": [4, 10], "defin": [4, 6, 7, 8, 9, 10], "via": [4, 6, 7], "directli": [4, 6], "link": 4, "indirectli": [4, 6], "If": [4, 5, 6, 7, 8, 9, 10], "try": 4, "access": [4, 7, 8, 9], "coordin": 4, "system": [4, 9], "avoid": 4, "commun": 4, "both": [4, 6, 7, 9, 10], "direct": [4, 5, 6, 7], "back": 4, "structur": [4, 5, 6, 7, 9], "record": [4, 6, 7, 9, 10], "simplest": 4, "part": [4, 6, 7], "elaborat": [4, 5, 6, 7, 8, 9], "block": [4, 6, 7], "class": [4, 5, 6, 7, 8, 9, 10], "myth": 4, "def": [4, 6], "elabor": 4, "self": [4, 6, 8], "platform": [4, 5], "bodi": [4, 6, 7], "includ": [4, 6, 7, 9, 10], "like": [4, 6, 7, 8], "d": [4, 6, 7, 9, 10], "comb": [4, 6, 10], "sig1": 4, "eq": [4, 6, 10], "expr1": 4, "sync": [4, 6], "sig2": 4, "expr2": 4, "result": [4, 7, 8, 9], "arg_expr": 4, "work": [4, 6, 7, 8], "analog": 4, "multiplex": 4, "rememb": [4, 5], "statement": [4, 6, 9], "insid": [4, 6, 7], "alwai": [4, 6, 7, 8, 10], "onc": [4, 6, 7, 10], "As": [4, 7], "typic": [4, 6, 7], "constructor": [4, 6, 9], "myotherth": 4, "__init__": [4, 5, 6, 7, 8, 9, 10], "o": [4, 6, 10], "paramet": [4, 6, 7, 8, 9, 10], "layout": [4, 6, 7, 8, 9], "my_method": [4, 6], "input_layout": 4, "output_layout": 4, "need": [4, 6, 7, 8], "instead": [4, 5, 6, 7, 8, 10], "def_method": [4, 6], "_": [4, 6], "arg": [4, 5, 6, 7, 8, 9, 10], "other_method": 4, "ret_expr": 4, "techniqu": 4, "abov": 4, "conveni": [4, 6, 7], "syntax": [4, 6, 10], "just": [4, 7], "particular": 4, "unnam": 4, "usual": [4, 7, 8], "exampl": [4, 6, 7, 8, 10], "around": 4, "entir": 4, "sometim": 4, "might": [4, 5, 7], "two": [4, 6, 7, 9], "altern": [4, 6, 7], "decid": [4, 8], "best": 4, "easi": [4, 7], "import": 4, "ask": 4, "yourself": 4, "someth": [4, 10], "independ": [4, 7], "so": [4, 5, 6, 7, 10], "mayb": 4, "Or": 4, "extern": [4, 6], "doubt": 4, "prefer": 4, "becaus": [4, 5, 6, 7, 8], "noth": 4, "els": [4, 6], "Such": [4, 7], "adaptertran": [4, 7], "though": 4, "case": [4, 6, 7, 8, 9, 10], "cleaner": 4, "suppos": 4, "we": [4, 7, 8], "input": [4, 6, 7, 8, 10], "foo": [4, 7], "1": [4, 5, 6, 7, 8, 9, 10], "bar": [4, 7], "32": [4, 7], "cleanest": 4, "recommend": 4, "keyword": [4, 6, 7, 8, 9], "foo_expr": 4, "bar_expr": 4, "dict": [4, 5, 6, 7, 8, 9, 10], "final": 4, "rec": 4, "recurs": [4, 5, 7, 9], "take": [4, 6, 7, 8, 9], "layout2": 4, "foobar": 4, "baz": 4, "42": 4, "method2": [4, 7], "One": [4, 7, 10], "baz_expr": 4, "receiv": [4, 6, 7, 8], "method3": 4, "resourc": [4, 6], "request": [4, 5, 6, 7, 8, 10], "bit": [4, 6, 7, 9, 10], "expr": 4, "similar": [4, 6, 7, 10], "mechan": [4, 7], "intern": [4, 6, 7], "risk": [4, 7], "introduc": 4, "loop": [4, 6], "certain": 4, "occas": 4, "possibl": [4, 7, 8, 9], "relax": 4, "e": [4, 7, 8, 9, 10], "g": [4, 7, 8, 9, 10], "framework": 4, "design": [4, 5], "facilit": 4, "re": [4, 6], "provid": [4, 7, 8, 9], "most": [4, 6, 7], "ones": 4, "connecttran": [4, 7], "queue": [4, 7], "write": [4, 6, 7], "plain": [4, 6, 7], "These": 4, "veri": 4, "testbench": [4, 7, 8], "own": [4, 5, 6, 7], "variant": 4, "Its": 4, "role": 4, "improv": 4, "circuit": [4, 6, 7, 9], "omit": [4, 6, 7], "unneed": 4, "done": [4, 6, 7, 8], "ad": [4, 6, 7, 8, 9, 10], "addit": [4, 9], "combinatori": 4, "av_comb": [4, 6], "top_comb": [4, 6, 10], "under": [4, 5, 6], "avoidedif": [4, 6], "guard": [4, 6, 7, 8], "grant": [4, 5, 6, 7, 10], "therefor": 4, "don": [4, 6, 8], "t": [4, 6, 7, 8, 9], "induc": 4, "often": 4, "safe": [4, 9], "do": [4, 6, 7, 8, 10], "switch": [4, 6, 7, 10], "etc": [4, 8], "logic": 4, "belong": [4, 7], "aren": [4, 7], "actual": 4, "were": [4, 8], "manual": [4, 8, 10], "move": [4, 7], "top": [4, 6, 9], "level": [4, 6, 7, 8, 9], "caveat": 4, "normal": [4, 7, 8], "cannot": [4, 6, 7, 8], "exist": [4, 7, 9], "forward": [4, 6, 7], "place": [4, 6, 7], "handl": [4, 6], "make": [4, 5, 8], "consid": [4, 6, 7], "object": [4, 5, 7, 8, 9], "schedule_befor": [4, 6], "after": [4, 7], "first": [4, 6, 7, 8, 9, 10], "first_t_or_m": 4, "other_t_or_m": 4, "lift": 4, "first_m": 4, "other_t": 4, "t1": 4, "t2": 4, "made": 4, "situat": [4, 6], "mutual": [4, 6, 7], "exclus": [4, 6, 7, 10], "similarli": [4, 7], "add_conflict": [4, 6], "ha": [4, 5, 6, 7, 10], "prioriti": [4, 6, 7, 10], "left": [4, 6, 7], "right": [4, 6], "undefin": [4, 6, 7], "add": [4, 6, 7, 8, 9, 10], "other_m": 4, "come": 4, "cost": 4, "increas": [4, 7], "size": [4, 7, 9], "delai": [4, 8], "featur": 4, "consider": 4, "parent": 4, "convers": 4, "true": [4, 5, 6, 7, 8, 9, 10], "doesn": [4, 7], "limit": [4, 7], "impli": 4, "amaranth_ext": [5, 9], "extract": 5, "base": [5, 6, 7, 8, 9, 10], "intflag": 5, "IN": 5, "inout": 5, "none": [5, 6, 7, 8, 9, 10], "0": [5, 6, 7, 8, 10], "out": [5, 6, 7, 10], "2": [5, 6, 7, 9], "__new__": 5, "protocol": [5, 6, 7], "kwarg": [5, 6, 7, 8, 9, 10], "str": [5, 6, 7, 8, 9, 10], "owner": 5, "ownershipgraph": 5, "dump": 5, "fp": 5, "liter": [5, 10], "dot": [5, 7], "elk": 5, "mermaid": 5, "dump_dot": 5, "int": [5, 6, 7, 8, 9, 10], "indent": [5, 7, 9], "dump_elk": 5, "dump_mermaid": 5, "get_hier_nam": 5, "obj": 5, "get": [5, 6, 7, 8, 9, 10], "hierarch": 5, "rais": [5, 7, 8, 9], "keyerror": [5, 7, 9], "yet": 5, "get_nam": 5, "insert_edg": 5, "fr": 5, "insert_nod": 5, "mermaid_direct": 5, "prune": 5, "mark": 5, "empti": [5, 7], "subgraph": 5, "remember_field": 5, "owner_id": 5, "methodsampl": 5, "runtim": [5, 7, 10], "control": [5, 6, 7, 8, 10], "attribut": [5, 6, 7, 9, 10], "bool": [5, 6, 7, 8, 9, 10], "simul": [5, 6, 7, 8], "restor": 5, "analysi": 5, "tool": 5, "data": [5, 6, 7, 8, 9, 10], "refer": [5, 9], "uniqu": [5, 7], "id": 5, "transactions_and_method": 5, "profileinfo": 5, "index": [5, 6, 7, 10], "list": [5, 6, 7, 8, 9, 10], "cycleprofil": 5, "factori": [5, 7, 9], "analyze_method": 5, "runstatnod": 5, "analyze_transact": 5, "static": [5, 6, 8, 9, 10], "decod": [5, 9, 10], "file_nam": [5, 9], "encod": [5, 7, 9, 10], "classmethod": [5, 6, 7, 9], "from_dict": [5, 7, 9], "kv": [5, 7, 9], "union": [5, 6, 7, 8, 9], "float": [5, 7, 8, 9], "infer_miss": [5, 7, 9], "from_json": [5, 7, 9], "byte": [5, 7, 9], "bytearrai": [5, 7, 9], "parse_float": [5, 7, 9], "parse_int": [5, 7, 9], "parse_const": [5, 7, 9], "kw": [5, 7, 9], "schema": [5, 7, 9], "exclud": [5, 7, 9], "context": [5, 6, 7, 8, 9], "load_onli": [5, 7, 9], "dump_onli": [5, 7, 9], "partial": [5, 7, 9], "unknown": [5, 7, 9], "schemaf": [5, 7, 9], "to_dict": [5, 7, 9], "encode_json": [5, 7, 9], "to_json": [5, 7, 9], "skipkei": [5, 7, 9], "ensure_ascii": [5, 7, 9], "check_circular": [5, 7, 9], "allow_nan": [5, 7, 9], "separ": [5, 6, 7, 9], "tupl": [5, 6, 7, 8, 9, 10], "callabl": [5, 6, 7, 8, 9], "sort_kei": [5, 7, 9], "profiledata": [5, 9], "individu": 5, "method_par": 5, "transactions_by_method": 5, "transaction_conflict": 5, "transaction_manag": [5, 6, 8], "transactionmanag": [5, 6, 8], "src_loc": [5, 6, 7, 9], "srcloc": [5, 6, 7], "is_transact": 5, "profilesampl": 5, "transactionsampl": 5, "runstat": 5, "collect": [5, 6, 7, 8, 9, 10], "statist": 5, "disabl": [5, 7, 8], "did": [5, 8], "info": [5, 7], "summar": 5, "stat": 5, "runnabl": [5, 6], "tracingenabl": 5, "tracingfrag": 5, "fragment": [5, 6], "haselabor": [5, 6, 7, 8, 10], "origin": [5, 7], "lose": 5, "too": [5, 7], "difficult": 5, "exact": 5, "copi": 5, "relev": 5, "copyright": 5, "subfrag": 5, "hdl": [5, 6, 7, 8, 9, 10], "_ir": [5, 9], "tracingfragmenttransform": 5, "fragmenttransform": 5, "on_frag": 5, "tracinginst": 5, "instanc": [5, 6, 7, 9, 10], "transactionmanagerkei": 6, "simplekei": [6, 7, 8, 9], "transactioncompon": 6, "transactionmodul": 6, "compon": [6, 7], "transactroncompon": 6, "wrapper": [6, 7], "support": [6, 7, 10], "wrap": 6, "synthesi": 6, "port": [6, 7, 9, 10], "extend": [6, 10], "abstractcompon": 6, "dependency_manag": [6, 8], "dependencymanag": [6, 7, 8, 9], "new": [6, 7, 9, 10], "care": [6, 7], "never": 6, "cc_schedul": 6, "methodmap": [6, 7], "_dsl": 6, "eager_deterministic_cc_schedul": 6, "add_transact": 6, "_ast": [6, 7, 8, 9, 10], "_rec": [6, 7, 9, 10], "view": [6, 7, 9, 10], "abc": [6, 7, 8, 9, 10], "iter": [6, 7, 8, 9, 10], "signalbundl": [6, 7, 9, 10], "map": [6, 7, 8, 9, 10], "print_info": 6, "cgr": 6, "porder": 6, "cc": 6, "method_map": 6, "visual_graph": 6, "store": [6, 7, 8, 9], "dependencycontext": [6, 9], "transactionbas": 6, "serv": [6, 7], "simultena": 6, "rest": 6, "must": [6, 7, 9], "non": [6, 7, 8], "except": [6, 8, 9], "behavior": [6, 7, 9], "combination": 6, "transfer": [6, 7], "structlayout": [6, 7, 8, 9], "time": [6, 7, 8], "data_out": [6, 7], "data_in": [6, 7], "effect": [6, 7, 8], "current": 6, "methodstruct": [6, 7], "shapelik": [6, 7, 8, 9], "layoutlist": [6, 7, 8, 9], "nonexclus": [6, 7], "sequenc": [6, 7, 9], "enum": [6, 7, 8, 9, 10], "valuecast": [6, 7, 8, 9, 10], "assignarg": [6, 9], "single_cal": [6, 7], "hint": 6, "infer": 6, "variabl": [6, 10], "happen": [6, 8], "still": [6, 7], "third": [6, 7], "vector": [6, 7], "whose": 6, "th": [6, 7, 10], "error": [6, 7, 9], "thrown": 6, "stack": [6, 7, 9], "frame": [6, 7], "deep": [6, 7], "taken": [6, 7], "const": [6, 7, 8, 9], "d1": [6, 7], "d0": 6, "validate_argu": [6, 7, 8], "action": [6, 7, 9], "indic": [6, 7, 10], "By": [6, 7], "combinationi": 6, "valuelik": [6, 7, 8, 10], "whether": [6, 7, 10], "those": 6, "instanti": 6, "accept": [6, 7, 9], "my_sum_method": 6, "arg1": 6, "8": [6, 7], "arg2": 6, "sum": [6, 7], "16": 6, "properti": [6, 8], "layout_in": [6, 7], "layout_out": [6, 7], "construct": [6, 7], "blueprint": 6, "freshli": 6, "proxi": 6, "gr": 6, "transactiongraph": 6, "transactiongraphcc": 6, "priorityord": 6, "eager": 6, "subsystem": [6, 10], "isn": 6, "fair": 6, "start": [6, 7, 10], "lowest": 6, "highest": [6, 10], "concurr": 6, "arbitr": [6, 10], "agent": [6, 10], "vertic": 6, "edg": [6, 7, 8], "linear": 6, "consist": 6, "constraint": 6, "trivial_roundrobin_cc_schedul": 6, "simpl": [6, 7, 9, 10], "round": [6, 9, 10], "robin": [6, 10], "mainli": 6, "purpos": [6, 7], "decor": [6, 8], "eleg": 6, "correspond": [6, 7, 8, 10], "dictionari": [6, 7], "go": 6, "lambda": [6, 8], "over": [6, 7, 8], "easili": [6, 7], "expect": 6, "least": [6, 8, 10], "equival": [6, 7, 8, 10], "rang": [6, 7, 8, 9, 10], "len": [6, 7, 10], "form": [6, 7], "concaten": [6, 7], "three": 6, "parametr": 6, "my_filter_read_method": 6, "ready_list": 6, "head": [6, 7], "modulelik": [6, 7, 10], "everi": [6, 7, 8], "reduc": 6, "amount": [6, 7, 8], "useless": 6, "multplex": 6, "due": [6, 7], "while": [6, 8], "unguard": 6, "path": [6, 7], "length": [6, 7, 8, 9], "keep": 6, "relat": [6, 7, 9], "synchron": [6, 7, 8], "cond": [6, 7], "pattern": 6, "elif": 6, "fsm": 6, "init": [6, 7], "ctrl_path": 6, "next": [6, 8, 10], "noreturn": 6, "repres": [6, 7], "task": 6, "regularli": 6, "last": [6, 7, 10], "met": 6, "explicit": 6, "implicit": 6, "aris": 6, "pair": [6, 7, 10], "want": [6, 8, 10], "transactioncontext": 6, "priorit": 6, "end": [6, 7, 10], "regist": [6, 7, 9], "reason": 6, "common": [6, 7, 9], "memori": [6, 7], "transactionormethodbound": 6, "ctrlpath": 6, "def_count": 6, "classvar": 6, "def_ord": 6, "independent_list": 6, "forwardref": [6, 8, 9], "method_cal": 6, "defaultdict": 6, "method_us": 6, "owned_nam": 6, "peek": [6, 7], "relationbas": 6, "without": [6, 7, 9], "simultaneous_altern": 6, "howev": [6, 7], "simultaneous_list": 6, "adapterbas": [7, 8], "mock": [7, 8], "en": [7, 8], "valid": [7, 8, 9, 10], "descript": [7, 9], "with_validate_argu": [7, 8], "ifac": 7, "expos": [7, 9], "priorityencoderalloc": 7, "superscalar": 7, "identifi": 7, "dealloc": 7, "continu": [7, 8], "fresh": 7, "littl": 7, "free": 7, "entri": [7, 9], "total": 7, "mask": 7, "treat": 7, "reset": 7, "clickin": 7, "click": 7, "interact": 7, "fpga": 7, "On": 7, "rise": 7, "btn": 7, "enabl": [7, 8, 9], "dat": 7, "retriev": 7, "clickout": 7, "led": 7, "put": 7, "flow": 7, "revers": 7, "possibli": 7, "rev_layout": 7, "second": [7, 10], "vice": 7, "versa": 7, "compat": 7, "method1": 7, "respect": 7, "full": 7, "fulfil": 7, "depth": 7, "fifo_typ": 7, "syncfifo": 7, "fifotyp": 7, "conform": 7, "overflow": 7, "buffer": [7, 10], "No": 7, "until": [7, 8], "clear": [7, 9], "manytooneconnecttran": 7, "get_result": 7, "put_result": 7, "pipe": 7, "halfwai": 7, "locali": 7, "critic": [7, 8], "cut": 7, "comparison": 7, "clean": 7, "stableselectingnetwork": 7, "network": 7, "group": 7, "consecut": 7, "preserv": 7, "invalid": [7, 10], "divid": 7, "conquer": 7, "algorithm": 7, "alreadi": [7, 9, 10], "properli": 7, "v1": 7, "b": 7, "v2": 7, "c": [7, 8], "now": 7, "shift": 7, "merg": 7, "v": 7, "thu": 7, "log_2": 7, "dependencykei": [7, 9], "u": [7, 9], "concret": [7, 9], "frozen": [7, 9], "lock_on_get": [7, 9], "specifi": [7, 9], "get_depend": [7, 9], "cach": [7, 9], "subsequ": [7, 9], "empty_valid": [7, 9], "ani": [7, 8, 9, 10], "caus": [7, 9], "abstract": [7, 9], "add_depend": [7, 9], "give": [7, 9], "kind": [7, 9], "track": [7, 9], "across": [7, 9], "multpl": [7, 9], "dependency_provid": [7, 9], "ignor": [7, 9], "get_optional_depend": [7, 9], "gettabl": [7, 9], "otherwis": [7, 9, 10], "listkei": [7, 9], "dependeci": [7, 9], "more": [7, 8, 9, 10], "than": [7, 9, 10], "default_valu": [7, 9], "unifierkei": 7, "unifi": 7, "wish": 7, "basicfifo": 7, "element": 7, "front": 7, "delet": 7, "note": 7, "reiniti": 7, "semaphor": 7, "max_count": 7, "hardwarelogg": 7, "intuit": 7, "logger": 7, "softwar": 7, "anywher": 7, "parallel": 7, "natur": [7, 10], "trigger": [7, 8, 9], "shall": 7, "report": 7, "evalu": [7, 8], "print": 7, "dure": [7, 8], "arbitrari": 7, "exactli": 7, "string": [7, 8], "organ": 7, "namespac": 7, "hierarchi": 7, "period": 7, "much": 7, "frontend": 7, "upper": 7, "icach": 7, "bpu": 7, "sub": 7, "There": 7, "backend": 7, "fu": 7, "jumpbranch": 7, "assert": [7, 8, 10], "src_loc_at": 7, "find": 7, "bug": 7, "hard": 7, "detect": 7, "termin": 7, "turn": 7, "warn": 7, "board": 7, "detail": 7, "debug": [7, 9], "sever": 7, "semant": 7, "server": 7, "pep": 7, "3101": 7, "look": 7, "fail": 7, "logkei": 7, "logrecord": 7, "logrecordinfo": [7, 9], "event": 7, "being": [7, 9, 10], "logger_nam": [7, 9], "format_str": [7, 9], "agnost": 7, "serial": 7, "outsid": 7, "loglevel": 7, "templat": 7, "get_log_record": 7, "namespace_regexp": [7, 8], "bigger": 7, "equal": [7, 10], "minimum": 7, "regexp": 7, "get_trigger_bit": 7, "high": [7, 10], "whenev": 7, "fifolatencymeasur": 7, "measur": 7, "durat": 7, "latenc": 7, "finish": 7, "exponenti": 7, "histogram": 7, "fully_qualified_nam": 7, "slots_numb": 7, "max_lat": 7, "fulli": 7, "qualifi": 7, "human": 7, "maximum": 7, "width": [7, 9, 10], "bucket": 7, "metrics_en": 7, "previou": 7, "slot": 7, "stop": 7, "oldest": 7, "hardwaremetricsmanag": 7, "compos": 7, "get_metr": 7, "hwmetric": 7, "get_register_valu": 7, "metric_nam": 7, "reg_nam": 7, "hold": 7, "load": [7, 9], "min": 7, "hwcounter": 7, "width_bit": 7, "incr": 7, "hwexphistogram": 7, "distribut": 7, "sampl": [7, 8], "through": 7, "observ": 7, "configur": 7, "5": [7, 8], "4": [7, 9], "inf": 7, "addition": 7, "bucket_count": 7, "sample_width": 7, "registers_width": 7, "max_valu": 7, "calcul": 7, "metricmodel": 7, "add_regist": 7, "reg": [7, 9], "hwmetricregist": 7, "inherit": 7, "initi": 7, "hwmetricsenabledkei": 7, "theirs": 7, "synthes": 7, "compris": 7, "dedic": 7, "specif": 7, "determin": [7, 9], "user": 7, "join": 7, "metricregistermodel": 7, "associ": 7, "fundament": 7, "singular": 7, "among": 7, "reman": 7, "brief": 7, "taggedcount": 7, "tag": 7, "At": 7, "dynam": [7, 10], "integ": [7, 8, 9], "neg": [7, 8, 9], "ok": 7, "hot": [7, 10], "optim": 7, "tag_width": 7, "one_hot": 7, "underli": 7, "taggedlatencymeasur": 7, "argumentstoresultszipp": 7, "zip": 7, "calle": 7, "asymmetri": 7, "long": 7, "correctli": 7, "rate": 7, "reach": [7, 10], "capac": 7, "topologi": 7, "peek_arg": 7, "write_arg": 7, "args_layout": 7, "write_result": 7, "results_layout": 7, "latest": 7, "client": 7, "somethig": 7, "deseri": 7, "proper": 7, "assum": [7, 9], "serialize_in": 7, "serialized_req_method": 7, "serialize_out": 7, "serialized_resp_method": 7, "port_count": 7, "resist": 7, "pipelin": 7, "nonblock": 7, "overlap": 7, "branch": 7, "boolean": 7, "catch": 7, "negat": [7, 9], "influenc": 7, "cond1": 7, "cond2": 7, "asyncmemorybank": 7, "asynchron": 7, "granular": 7, "addr": 7, "data_layout": [7, 9], "address": 7, "appropri": 7, "written": 7, "elem_count": [7, 8], "read_port": 7, "write_port": 7, "memory_typ": 7, "amaranth_typ": 7, "abstractmemoryconstructor": 7, "whole": 7, "split": 7, "contentaddressablememori": 7, "addres": 7, "short": 7, "cam": 7, "predefin": [7, 8], "fed": 7, "insert": 7, "compar": 7, "hit": 7, "push": 7, "behaviour": 7, "nondestruct": 7, "updat": [7, 10], "remov": 7, "address_layout": 7, "entries_numb": 7, "layoutlik": 7, "memorybank": 7, "read_req": 7, "read_resp": 7, "unavail": 7, "transpar": 7, "cattran": 7, "src1": 7, "src2": 7, "dst": 7, "collector": 7, "target": 7, "method_list": 7, "connectandmaptran": 7, "behav": 7, "modifi": 7, "i_fun": 7, "recorddict": 7, "o_fun": 7, "methodfilt": 7, "zero": [7, 10], "desir": 7, "use_condit": 7, "drawback": 7, "simultaneu": 7, "bidirect": 7, "i_transform": 7, "o_transform": 7, "unmodifi": 7, "methodproduct": 7, "product": 7, "comput": [7, 9], "methodtryproduct": 7, "tri": 7, "succeed": [7, 8], "data_const_to_dict": 8, "pysimsimul": 8, "max_cycl": 8, "100000": 8, "add_transaction_modul": 8, "traces_fil": 8, "clk_period": 8, "1e": 8, "06": 8, "indefinit": 8, "simpletestcircuit": 8, "_t_haselabor": 8, "dut": 8, "testcasewithsimul": 8, "add_mock": 8, "sim": 8, "val": [8, 9], "methodmock": 8, "fixture_initialize_testing_env": 8, "async": 8, "random_wait": 8, "simulatorcontext": 8, "max_cycle_cnt": 8, "min_cycle_cnt": 8, "random": 8, "random_wait_geom": 8, "prob": 8, "till": 8, "probabl": 8, "reinitialize_fixtur": 8, "run_simul": 8, "tick": 8, "cycle_cnt": 8, "opnop": 8, "generate_based_on_layout": 8, "searchstrategi": 8, "recordintdict": 8, "generate_method_input": 8, "generate_nops_in_list": 8, "max_nop": 8, "generate_list": 8, "generate_process_input": 8, "generate_shrinkable_list": 8, "trick": 8, "http": 8, "github": 8, "com": 8, "hypothesiswork": 8, "hypothesi": 8, "blob": 8, "6867da71beae0e4ed004b54b92ef7c74d0722815": 8, "src": 8, "l143": 8, "insert_nop": 8, "draw": 8, "drawfn": 8, "lst": 8, "make_logging_process": 8, "on_error": 8, "parse_logging_level": 8, "pars": 8, "represent": [8, 9, 10], "effect_process": 8, "output_process": 8, "validate_arguments_process": 8, "def_method_mock": 8, "tb_getter": 8, "handler": 8, "invok": 8, "discov": 8, "side": 8, "modif": 8, "sure": 8, "defer": 8, "sinc": 8, "eagerli": 8, "profiler_process": 8, "calltrigg": 8, "call_tri": 8, "problem": 8, "But": 8, "_call": 8, "tbio": 8, "kwdata": 8, "succe": 8, "ticktrigg": 8, "until_don": 8, "act": 8, "await": 8, "focu": 8, "call_do": 8, "call_init": 8, "call_result": 8, "get_call_result": 8, "testbenchcontext": 8, "get_don": 8, "get_output": 8, "sample_output": 8, "sample_outputs_don": 8, "sample_outputs_until_don": 8, "set_en": 8, "set_input": 8, "tickskei": 8, "make_tick_count_process": 8, "assigntyp": 9, "lh": 9, "rh": 9, "assignfield": 9, "lhs_strict": 9, "rhs_strict": 9, "mismatch": 9, "accord": 9, "explicitli": 9, "shape": 9, "castabl": 9, "item": [9, 10], "subfield": 9, "valueerror": 9, "align_down_to_power_of_two": 9, "num": 9, "power": 9, "down": 9, "align": 9, "align_to_power_of_two": 9, "average_dict_of_list": 9, "bits_from_int": 9, "lower": 9, "shapecast": 9, "int_to_sign": 9, "x": 9, "xlen": 9, "convert": 9, "u2": 9, "sign": 9, "layout_subset": 9, "make_hash": 9, "signed_to_int": 9, "auto_debug_sign": 9, "arrai": 9, "gtkw": 9, "dependentcach": 9, "itself": 9, "posit": [9, 10], "cl": 9, "generatedlog": 9, "verilog": 9, "trigger_loc": 9, "signalhandl": 9, "fields_loc": 9, "generationinfo": 9, "variou": 9, "metrics_loc": 9, "metricinfo": 9, "metadata": 9, "metricloc": 9, "transaction_signals_loc": 9, "transactionsignalsloc": 9, "method_signals_loc": 9, "methodsignalsloc": 9, "profile_data": 9, "generate_verilog": 9, "top_nam": 9, "idgener": 9, "async_mock_def_help": 9, "tb": 9, "func": 9, "def_help": 9, "tp": 9, "extend_layout": 9, "from_method_layout": 9, "get_caller_class_nam": 9, "get_src_loc": 9, "longest_common_prefix": 9, "seq": 9, "make_layout": 9, "method_def_help": 9, "mock_def_help": 9, "silence_mustus": 9, "binari": 10, "low": 10, "graydecod": 10, "grai": 10, "grayencod": 10, "prioritydecod": 10, "priorityencod": 10, "signific": 10, "moduleconnector": 10, "anonym": 10, "multipriorityencod": 10, "extens": 10, "word": 10, "multi": 10, "input_width": 10, "outputs_count": 10, "indici": 10, "ascend": 10, "less": 10, "begin": 10, "build_tre": 10, "in_sig": 10, "start_idx": 10, "prio_encod": 10, "cnt": 10, "one_hot_sing": 10, "idx": 10, "prio": 10, "been": 10, "create_simpl": 10, "hardcod": 10, "onehotswitch": 10, "match": 10, "style": 10, "benefit": 10, "sig": 10, "onehotcas": 10, "0b01": 10, "0b10": 10, "onehotswitchdynam": 10, "signifi": 10, "ringmultipriorityencod": 10, "flexibl": 10, "circular": 10, "inclus": 10, "roundrobin": 10, "greater": 10, "restart": 10, "enableinsert": 10, "deassert": 10, "count_leading_zero": 10, "count_trailing_zero": 10, "flatten_sign": 10, "flatten": 10, "mod_incr": 10, "mod": 10, "popcount": 10}, "objects": {"": [[5, 0, 0, "-", "transactron"]], "transactron": [[6, 0, 0, "-", "core"], [5, 0, 0, "-", "graph"], [7, 0, 0, "-", "lib"], [5, 0, 0, "-", "profiler"], [8, 0, 0, "-", "testing"], [5, 0, 0, "-", "tracing"], [9, 0, 0, "-", "utils"]], "transactron.core": [[6, 0, 0, "-", "keys"], [6, 0, 0, "-", "manager"], [6, 0, 0, "-", "method"], [6, 0, 0, "-", "schedulers"], [6, 0, 0, "-", "sugar"], [6, 0, 0, "-", "tmodule"], [6, 0, 0, "-", "transaction"], [6, 0, 0, "-", "transaction_base"]], "transactron.core.keys": [[6, 1, 1, "", "TransactionManagerKey"]], "transactron.core.keys.TransactionManagerKey": [[6, 2, 1, "", "__init__"]], "transactron.core.manager": [[6, 1, 1, "", "TransactionComponent"], [6, 1, 1, "", "TransactionManager"], [6, 1, 1, "", "TransactionModule"]], "transactron.core.manager.TransactionComponent": [[6, 2, 1, "", "__init__"]], "transactron.core.manager.TransactionManager": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "add_transaction"], [6, 2, 1, "", "debug_signals"], [6, 2, 1, "", "print_info"], [6, 2, 1, "", "visual_graph"]], "transactron.core.manager.TransactionModule": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "context"]], "transactron.core.method": [[6, 1, 1, "", "Method"]], "transactron.core.method.Method": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "body"], [6, 2, 1, "", "debug_signals"], [6, 3, 1, "", "layout_in"], [6, 3, 1, "", "layout_out"], [6, 2, 1, "", "like"], [6, 2, 1, "", "proxy"]], "transactron.core.schedulers": [[6, 4, 1, "", "eager_deterministic_cc_scheduler"], [6, 4, 1, "", "trivial_roundrobin_cc_scheduler"]], "transactron.core.sugar": [[6, 4, 1, "", "def_method"], [6, 4, 1, "", "def_methods"]], "transactron.core.tmodule": [[6, 1, 1, "", "TModule"]], "transactron.core.tmodule.TModule": [[6, 2, 1, "", "AvoidedIf"], [6, 2, 1, "", "Case"], [6, 2, 1, "", "Default"], [6, 2, 1, "", "Elif"], [6, 2, 1, "", "Else"], [6, 2, 1, "", "FSM"], [6, 2, 1, "", "If"], [6, 2, 1, "", "State"], [6, 2, 1, "", "Switch"], [6, 2, 1, "", "__init__"], [6, 3, 1, "", "ctrl_path"], [6, 3, 1, "", "next"]], "transactron.core.transaction": [[6, 1, 1, "", "Transaction"]], "transactron.core.transaction.Transaction": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "body"], [6, 2, 1, "", "debug_signals"]], "transactron.core.transaction_base": [[6, 1, 1, "", "Priority"], [6, 1, 1, "", "TransactionBase"]], "transactron.core.transaction_base.Priority": [[6, 5, 1, "", "LEFT"], [6, 5, 1, "", "RIGHT"], [6, 5, 1, "", "UNDEFINED"]], "transactron.core.transaction_base.TransactionBase": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "add_conflict"], [6, 2, 1, "", "context"], [6, 5, 1, "", "ctrl_path"], [6, 5, 1, "", "def_counter"], [6, 5, 1, "", "def_order"], [6, 5, 1, "", "defined"], [6, 2, 1, "", "get"], [6, 5, 1, "", "independent_list"], [6, 5, 1, "", "method_calls"], [6, 5, 1, "", "method_uses"], [6, 5, 1, "", "name"], [6, 3, 1, "", "owned_name"], [6, 2, 1, "", "peek"], [6, 5, 1, "", "relations"], [6, 2, 1, "", "schedule_before"], [6, 2, 1, "", "simultaneous"], [6, 2, 1, "", "simultaneous_alternatives"], [6, 5, 1, "", "simultaneous_list"], [6, 5, 1, "", "src_loc"], [6, 5, 1, "", "stack"]], "transactron.graph": [[5, 1, 1, "", "Direction"], [5, 1, 1, "", "Owned"], [5, 1, 1, "", "OwnershipGraph"]], "transactron.graph.Direction": [[5, 5, 1, "", "IN"], [5, 5, 1, "", "INOUT"], [5, 5, 1, "", "NONE"], [5, 5, 1, "", "OUT"], [5, 2, 1, "", "__new__"]], "transactron.graph.Owned": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "name"], [5, 5, 1, "", "owner"]], "transactron.graph.OwnershipGraph": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "dump"], [5, 2, 1, "", "dump_dot"], [5, 2, 1, "", "dump_elk"], [5, 2, 1, "", "dump_mermaid"], [5, 2, 1, "", "get_hier_name"], [5, 2, 1, "", "get_name"], [5, 2, 1, "", "insert_edge"], [5, 2, 1, "", "insert_node"], [5, 5, 1, "", "mermaid_direction"], [5, 2, 1, "", "prune"], [5, 2, 1, "", "remember"], [5, 2, 1, "", "remember_field"]], "transactron.lib": [[7, 0, 0, "-", "adapters"], [7, 0, 0, "-", "allocators"], [7, 0, 0, "-", "buttons"], [7, 0, 0, "-", "connectors"], [7, 0, 0, "-", "dependencies"], [7, 0, 0, "-", "fifo"], [7, 0, 0, "-", "logging"], [7, 0, 0, "-", "metrics"], [7, 0, 0, "-", "reqres"], [7, 0, 0, "-", "simultaneous"], [7, 0, 0, "-", "storage"], [7, 0, 0, "-", "transformers"]], "transactron.lib.adapters": [[7, 1, 1, "", "Adapter"], [7, 1, 1, "", "AdapterBase"], [7, 1, 1, "", "AdapterTrans"]], "transactron.lib.adapters.Adapter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "set"]], "transactron.lib.adapters.AdapterBase": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "data_in"], [7, 5, 1, "", "data_out"], [7, 2, 1, "", "debug_signals"], [7, 5, 1, "", "done"], [7, 5, 1, "", "en"]], "transactron.lib.adapters.AdapterTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.allocators": [[7, 1, 1, "", "PriorityEncoderAllocator"]], "transactron.lib.allocators.PriorityEncoderAllocator": [[7, 2, 1, "", "__init__"]], "transactron.lib.buttons": [[7, 1, 1, "", "ClickIn"], [7, 1, 1, "", "ClickOut"]], "transactron.lib.buttons.ClickIn": [[7, 2, 1, "", "__init__"]], "transactron.lib.buttons.ClickOut": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors": [[7, 1, 1, "", "Connect"], [7, 1, 1, "", "ConnectTrans"], [7, 1, 1, "", "FIFO"], [7, 1, 1, "", "Forwarder"], [7, 1, 1, "", "ManyToOneConnectTrans"], [7, 1, 1, "", "Pipe"], [7, 1, 1, "", "StableSelectingNetwork"]], "transactron.lib.connectors.Connect": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.ConnectTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.FIFO": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.Forwarder": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.ManyToOneConnectTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.Pipe": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.StableSelectingNetwork": [[7, 2, 1, "", "__init__"]], "transactron.lib.dependencies": [[7, 1, 1, "", "DependencyKey"], [7, 1, 1, "", "DependencyManager"], [7, 1, 1, "", "ListKey"], [7, 1, 1, "", "SimpleKey"], [7, 1, 1, "", "UnifierKey"]], "transactron.lib.dependencies.DependencyKey": [[7, 5, 1, "", "cache"], [7, 2, 1, "", "combine"], [7, 5, 1, "", "empty_valid"], [7, 5, 1, "", "lock_on_get"]], "transactron.lib.dependencies.DependencyManager": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add_dependency"], [7, 2, 1, "", "dependency_provided"], [7, 2, 1, "", "get_dependency"], [7, 2, 1, "", "get_optional_dependency"]], "transactron.lib.dependencies.ListKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "empty_valid"]], "transactron.lib.dependencies.SimpleKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "default_value"]], "transactron.lib.dependencies.UnifierKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "unifier"]], "transactron.lib.fifo": [[7, 1, 1, "", "BasicFifo"], [7, 1, 1, "", "Semaphore"]], "transactron.lib.fifo.BasicFifo": [[7, 2, 1, "", "__init__"]], "transactron.lib.fifo.Semaphore": [[7, 2, 1, "", "__init__"]], "transactron.lib.logging": [[7, 1, 1, "", "HardwareLogger"], [7, 1, 1, "", "LogKey"], [7, 1, 1, "", "LogRecord"], [7, 1, 1, "", "LogRecordInfo"], [7, 4, 1, "", "get_log_records"], [7, 4, 1, "", "get_trigger_bit"]], "transactron.lib.logging.HardwareLogger": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "assertion"], [7, 2, 1, "", "debug"], [7, 2, 1, "", "error"], [7, 2, 1, "", "info"], [7, 2, 1, "", "log"], [7, 2, 1, "", "warning"]], "transactron.lib.logging.LogKey": [[7, 2, 1, "", "__init__"]], "transactron.lib.logging.LogRecord": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "fields"], [7, 5, 1, "", "trigger"]], "transactron.lib.logging.LogRecordInfo": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "format"], [7, 5, 1, "", "format_str"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "level"], [7, 5, 1, "", "location"], [7, 5, 1, "", "logger_name"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"]], "transactron.lib.metrics": [[7, 1, 1, "", "FIFOLatencyMeasurer"], [7, 1, 1, "", "HardwareMetricsManager"], [7, 1, 1, "", "HwCounter"], [7, 1, 1, "", "HwExpHistogram"], [7, 1, 1, "", "HwMetric"], [7, 1, 1, "", "HwMetricsEnabledKey"], [7, 1, 1, "", "MetricModel"], [7, 1, 1, "", "MetricRegisterModel"], [7, 1, 1, "", "TaggedCounter"], [7, 1, 1, "", "TaggedLatencyMeasurer"]], "transactron.lib.metrics.FIFOLatencyMeasurer": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "metrics_enabled"], [7, 2, 1, "", "start"], [7, 2, 1, "", "stop"]], "transactron.lib.metrics.HardwareMetricsManager": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "debug_signals"], [7, 2, 1, "", "get_metrics"], [7, 2, 1, "", "get_register_value"]], "transactron.lib.metrics.HwCounter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "incr"]], "transactron.lib.metrics.HwExpHistogram": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add"]], "transactron.lib.metrics.HwMetric": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add_registers"], [7, 2, 1, "", "metrics_enabled"]], "transactron.lib.metrics.HwMetricsEnabledKey": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "default_value"], [7, 5, 1, "", "empty_valid"], [7, 5, 1, "", "lock_on_get"]], "transactron.lib.metrics.MetricModel": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "description"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "fully_qualified_name"], [7, 5, 1, "", "regs"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"]], "transactron.lib.metrics.MetricRegisterModel": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "description"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "name"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"], [7, 5, 1, "", "width"]], "transactron.lib.metrics.TaggedCounter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "incr"]], "transactron.lib.metrics.TaggedLatencyMeasurer": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "metrics_enabled"], [7, 2, 1, "", "start"], [7, 2, 1, "", "stop"]], "transactron.lib.reqres": [[7, 1, 1, "", "ArgumentsToResultsZipper"], [7, 1, 1, "", "Serializer"]], "transactron.lib.reqres.ArgumentsToResultsZipper": [[7, 2, 1, "", "__init__"]], "transactron.lib.reqres.Serializer": [[7, 2, 1, "", "__init__"]], "transactron.lib.simultaneous": [[7, 4, 1, "", "condition"]], "transactron.lib.storage": [[7, 1, 1, "", "AsyncMemoryBank"], [7, 1, 1, "", "ContentAddressableMemory"], [7, 1, 1, "", "MemoryBank"]], "transactron.lib.storage.AsyncMemoryBank": [[7, 2, 1, "", "__init__"]], "transactron.lib.storage.ContentAddressableMemory": [[7, 2, 1, "", "__init__"]], "transactron.lib.storage.MemoryBank": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers": [[7, 1, 1, "", "CatTrans"], [7, 1, 1, "", "Collector"], [7, 1, 1, "", "ConnectAndMapTrans"], [7, 1, 1, "", "MethodFilter"], [7, 1, 1, "", "MethodMap"], [7, 1, 1, "", "MethodProduct"], [7, 1, 1, "", "MethodTryProduct"], [7, 1, 1, "", "Transformer"], [7, 1, 1, "", "Unifier"]], "transactron.lib.transformers.CatTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.Collector": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.ConnectAndMapTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodFilter": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodMap": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodProduct": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodTryProduct": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.Transformer": [[7, 5, 1, "", "method"], [7, 2, 1, "", "use"]], "transactron.lib.transformers.Unifier": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "method"]], "transactron.profiler": [[5, 1, 1, "", "MethodSamples"], [5, 1, 1, "", "Profile"], [5, 1, 1, "", "ProfileData"], [5, 1, 1, "", "ProfileInfo"], [5, 1, 1, "", "ProfileSamples"], [5, 1, 1, "", "RunStat"], [5, 1, 1, "", "RunStatNode"], [5, 1, 1, "", "TransactionSamples"]], "transactron.profiler.MethodSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "run"]], "transactron.profiler.Profile": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "analyze_methods"], [5, 2, 1, "", "analyze_transactions"], [5, 5, 1, "", "cycles"], [5, 2, 1, "", "decode"], [5, 2, 1, "", "encode"], [5, 2, 1, "", "from_dict"], [5, 2, 1, "", "from_json"], [5, 2, 1, "", "schema"], [5, 2, 1, "", "to_dict"], [5, 2, 1, "", "to_json"], [5, 5, 1, "", "transactions_and_methods"]], "transactron.profiler.ProfileData": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "make"], [5, 5, 1, "", "method_parents"], [5, 5, 1, "", "transaction_conflicts"], [5, 5, 1, "", "transactions_and_methods"], [5, 5, 1, "", "transactions_by_method"]], "transactron.profiler.ProfileInfo": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "from_dict"], [5, 2, 1, "", "from_json"], [5, 5, 1, "", "is_transaction"], [5, 5, 1, "", "name"], [5, 2, 1, "", "schema"], [5, 5, 1, "", "src_loc"], [5, 2, 1, "", "to_dict"], [5, 2, 1, "", "to_json"]], "transactron.profiler.ProfileSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "methods"], [5, 5, 1, "", "transactions"]], "transactron.profiler.RunStat": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "locked"], [5, 2, 1, "", "make"], [5, 5, 1, "", "name"], [5, 5, 1, "", "run"], [5, 5, 1, "", "src_loc"]], "transactron.profiler.RunStatNode": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "callers"], [5, 2, 1, "", "make"], [5, 5, 1, "", "stat"]], "transactron.profiler.TransactionSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "grant"], [5, 5, 1, "", "request"], [5, 5, 1, "", "runnable"]], "transactron.testing": [[8, 0, 0, "-", "functions"], [8, 0, 0, "-", "infrastructure"], [8, 0, 0, "-", "input_generation"], [8, 0, 0, "-", "logging"], [8, 0, 0, "-", "method_mock"], [8, 0, 0, "-", "profiler"], [8, 0, 0, "-", "testbenchio"], [8, 0, 0, "-", "tick_count"]], "transactron.testing.functions": [[8, 4, 1, "", "data_const_to_dict"]], "transactron.testing.infrastructure": [[8, 1, 1, "", "PysimSimulator"], [8, 1, 1, "", "SimpleTestCircuit"], [8, 1, 1, "", "TestCaseWithSimulator"]], "transactron.testing.infrastructure.PysimSimulator": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "run"]], "transactron.testing.infrastructure.SimpleTestCircuit": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "debug_signals"]], "transactron.testing.infrastructure.TestCaseWithSimulator": [[8, 2, 1, "", "add_mock"], [8, 5, 1, "", "dependency_manager"], [8, 2, 1, "", "fixture_initialize_testing_env"], [8, 2, 1, "", "random_wait"], [8, 2, 1, "", "random_wait_geom"], [8, 2, 1, "", "reinitialize_fixtures"], [8, 2, 1, "", "run_simulation"], [8, 2, 1, "", "tick"]], "transactron.testing.input_generation": [[8, 1, 1, "", "OpNOP"], [8, 4, 1, "", "generate_based_on_layout"], [8, 4, 1, "", "generate_method_input"], [8, 4, 1, "", "generate_nops_in_list"], [8, 4, 1, "", "generate_process_input"], [8, 4, 1, "", "generate_shrinkable_list"], [8, 4, 1, "", "insert_nops"]], "transactron.testing.logging": [[8, 4, 1, "", "make_logging_process"], [8, 4, 1, "", "parse_logging_level"]], "transactron.testing.method_mock": [[8, 1, 1, "", "MethodMock"], [8, 4, 1, "", "def_method_mock"]], "transactron.testing.method_mock.MethodMock": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "effect"], [8, 2, 1, "", "effect_process"], [8, 2, 1, "", "output_process"], [8, 2, 1, "", "validate_arguments_process"]], "transactron.testing.profiler": [[8, 4, 1, "", "profiler_process"]], "transactron.testing.testbenchio": [[8, 1, 1, "", "CallTrigger"], [8, 1, 1, "", "TestbenchIO"]], "transactron.testing.testbenchio.CallTrigger": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "call"], [8, 2, 1, "", "sample"], [8, 2, 1, "", "until_done"]], "transactron.testing.testbenchio.TestbenchIO": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "call"], [8, 2, 1, "", "call_do"], [8, 2, 1, "", "call_init"], [8, 2, 1, "", "call_result"], [8, 2, 1, "", "call_try"], [8, 2, 1, "", "disable"], [8, 3, 1, "", "done"], [8, 2, 1, "", "enable"], [8, 2, 1, "", "get_call_result"], [8, 2, 1, "", "get_done"], [8, 2, 1, "", "get_outputs"], [8, 3, 1, "", "outputs"], [8, 2, 1, "", "sample_outputs"], [8, 2, 1, "", "sample_outputs_done"], [8, 2, 1, "", "sample_outputs_until_done"], [8, 2, 1, "", "set_enable"], [8, 2, 1, "", "set_inputs"]], "transactron.testing.tick_count": [[8, 1, 1, "", "TicksKey"], [8, 4, 1, "", "make_tick_count_process"]], "transactron.testing.tick_count.TicksKey": [[8, 2, 1, "", "__init__"]], "transactron.tracing": [[5, 1, 1, "", "TracingEnabler"], [5, 1, 1, "", "TracingFragment"], [5, 1, 1, "", "TracingFragmentTransformer"], [5, 1, 1, "", "TracingInstance"]], "transactron.tracing.TracingFragment": [[5, 2, 1, "", "get"], [5, 2, 1, "", "prepare"], [5, 5, 1, "", "subfragments"]], "transactron.tracing.TracingFragmentTransformer": [[5, 2, 1, "", "on_fragment"]], "transactron.tracing.TracingInstance": [[5, 2, 1, "", "get"]], "transactron.utils": [[10, 0, 0, "-", "amaranth_ext"], [9, 0, 0, "-", "assign"], [9, 0, 0, "-", "data_repr"], [9, 0, 0, "-", "debug_signals"], [9, 0, 0, "-", "depcache"], [9, 0, 0, "-", "dependencies"], [9, 0, 0, "-", "gen"], [9, 0, 0, "-", "idgen"], [9, 0, 0, "-", "transactron_helpers"]], "transactron.utils.amaranth_ext": [[10, 0, 0, "-", "coding"], [10, 0, 0, "-", "elaboratables"], [10, 0, 0, "-", "functions"]], "transactron.utils.amaranth_ext.coding": [[10, 1, 1, "", "Decoder"], [10, 1, 1, "", "Encoder"], [10, 1, 1, "", "GrayDecoder"], [10, 1, 1, "", "GrayEncoder"], [10, 1, 1, "", "PriorityDecoder"], [10, 1, 1, "", "PriorityEncoder"]], "transactron.utils.amaranth_ext.coding.Decoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.Encoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.GrayDecoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.GrayEncoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.PriorityEncoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables": [[10, 1, 1, "", "ModuleConnector"], [10, 1, 1, "", "MultiPriorityEncoder"], [10, 4, 1, "", "OneHotSwitch"], [10, 4, 1, "", "OneHotSwitchDynamic"], [10, 1, 1, "", "RingMultiPriorityEncoder"], [10, 1, 1, "", "RoundRobin"], [10, 1, 1, "", "Scheduler"]], "transactron.utils.amaranth_ext.elaboratables.ModuleConnector": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables.MultiPriorityEncoder": [[10, 2, 1, "", "__init__"], [10, 2, 1, "", "build_tree"], [10, 2, 1, "", "create"], [10, 2, 1, "", "create_simple"]], "transactron.utils.amaranth_ext.elaboratables.RingMultiPriorityEncoder": [[10, 2, 1, "", "__init__"], [10, 2, 1, "", "create"], [10, 2, 1, "", "create_simple"]], "transactron.utils.amaranth_ext.elaboratables.RoundRobin": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables.Scheduler": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.functions": [[10, 4, 1, "", "count_leading_zeros"], [10, 4, 1, "", "count_trailing_zeros"], [10, 4, 1, "", "flatten_signals"], [10, 4, 1, "", "mod_incr"], [10, 4, 1, "", "popcount"]], "transactron.utils.assign": [[9, 1, 1, "", "AssignType"], [9, 4, 1, "", "assign"]], "transactron.utils.assign.AssignType": [[9, 5, 1, "", "ALL"], [9, 5, 1, "", "COMMON"], [9, 5, 1, "", "LHS"], [9, 5, 1, "", "RHS"]], "transactron.utils.data_repr": [[9, 4, 1, "", "align_down_to_power_of_two"], [9, 4, 1, "", "align_to_power_of_two"], [9, 4, 1, "", "average_dict_of_lists"], [9, 4, 1, "", "bits_from_int"], [9, 4, 1, "", "data_layout"], [9, 4, 1, "", "int_to_signed"], [9, 4, 1, "", "layout_subset"], [9, 4, 1, "", "make_hashable"], [9, 4, 1, "", "neg"], [9, 4, 1, "", "signed_to_int"]], "transactron.utils.debug_signals": [[9, 4, 1, "", "auto_debug_signals"]], "transactron.utils.depcache": [[9, 1, 1, "", "DependentCache"]], "transactron.utils.depcache.DependentCache": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "get"]], "transactron.utils.dependencies": [[9, 1, 1, "", "DependencyContext"], [9, 1, 1, "", "DependencyKey"], [9, 1, 1, "", "DependencyManager"], [9, 1, 1, "", "ListKey"], [9, 1, 1, "", "SimpleKey"]], "transactron.utils.dependencies.DependencyContext": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "get"], [9, 5, 1, "", "stack"]], "transactron.utils.dependencies.DependencyKey": [[9, 5, 1, "", "cache"], [9, 2, 1, "", "combine"], [9, 5, 1, "", "empty_valid"], [9, 5, 1, "", "lock_on_get"]], "transactron.utils.dependencies.DependencyManager": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "add_dependency"], [9, 2, 1, "", "dependency_provided"], [9, 2, 1, "", "get_dependency"], [9, 2, 1, "", "get_optional_dependency"]], "transactron.utils.dependencies.ListKey": [[9, 2, 1, "", "combine"], [9, 5, 1, "", "empty_valid"]], "transactron.utils.dependencies.SimpleKey": [[9, 2, 1, "", "combine"], [9, 5, 1, "", "default_value"]], "transactron.utils.gen": [[9, 1, 1, "", "GeneratedLog"], [9, 1, 1, "", "GenerationInfo"], [9, 1, 1, "", "MetricLocation"], [9, 4, 1, "", "generate_verilog"]], "transactron.utils.gen.GeneratedLog": [[9, 2, 1, "", "__init__"], [9, 5, 1, "", "fields_location"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"], [9, 5, 1, "", "trigger_location"]], "transactron.utils.gen.GenerationInfo": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "decode"], [9, 2, 1, "", "encode"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 5, 1, "", "logs"], [9, 5, 1, "", "method_signals_location"], [9, 5, 1, "", "metrics_location"], [9, 5, 1, "", "profile_data"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"], [9, 5, 1, "", "transaction_signals_location"]], "transactron.utils.gen.MetricLocation": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 5, 1, "", "regs"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"]], "transactron.utils.idgen": [[9, 1, 1, "", "IdGenerator"]], "transactron.utils.idgen.IdGenerator": [[9, 2, 1, "", "__init__"]], "transactron.utils.transactron_helpers": [[9, 4, 1, "", "async_mock_def_helper"], [9, 4, 1, "", "def_helper"], [9, 4, 1, "", "extend_layout"], [9, 4, 1, "", "from_method_layout"], [9, 4, 1, "", "get_caller_class_name"], [9, 4, 1, "", "get_src_loc"], [9, 4, 1, "", "longest_common_prefix"], [9, 4, 1, "", "make_layout"], [9, 4, 1, "", "method_def_helper"], [9, 4, 1, "", "mock_def_helper"], [9, 4, 1, "", "silence_mustuse"]]}, "objtypes": {"0": "py:module", "1": "py:class", "2": "py:method", "3": "py:property", "4": "py:function", "5": "py:attribute"}, "objnames": {"0": ["py", "module", "Python module"], "1": ["py", "class", "Python class"], "2": ["py", "method", "Python method"], "3": ["py", "property", "Python property"], "4": ["py", "function", "Python function"], "5": ["py", "attribute", "Python attribute"]}, "titleterms": {"api": 0, "transactron": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10], "develop": 1, "environ": 1, "set": 1, "up": 1, "run": 1, "test": [1, 8], "us": 1, "script": 1, "lint": 1, "sh": 1, "build_doc": 1, "tprof": 1, "py": 1, "document": 4, "introduct": 4, "basic": 4, "usag": 4, "implement": 4, "transact": [4, 6], "method": [4, 6], "argument": 4, "pass": 4, "convent": 4, "definit": 4, "return": 4, "valu": 4, "readi": 4, "signal": 4, "The": 4, "librari": 4, "advanc": 4, "concept": 4, "special": 4, "combin": 4, "domain": 4, "schedul": [4, 6], "order": 4, "conflict": 4, "nest": 4, "packag": [5, 6, 7, 8, 9, 10], "subpackag": [5, 9], "submodul": [5, 6, 7, 8, 9, 10], "graph": 5, "modul": [5, 6, 7, 8, 9, 10], "profil": [5, 8], "trace": 5, "content": [5, 6, 7, 8, 9, 10], "core": 6, "kei": 6, "manag": 6, "sugar": 6, "tmodul": 6, "transaction_bas": 6, "lib": 7, "adapt": 7, "alloc": 7, "button": 7, "connector": 7, "depend": [7, 9], "fifo": 7, "log": [7, 8], "metric": 7, "reqr": 7, "simultan": 7, "storag": 7, "transform": 7, "function": [8, 10], "infrastructur": 8, "input_gener": 8, "method_mock": 8, "testbenchio": 8, "tick_count": 8, "util": [9, 10], "assign": 9, "data_repr": 9, "debug_sign": 9, "depcach": 9, "gen": 9, "idgen": 9, "transactron_help": 9, "amaranth_ext": 10, "code": 10, "elaborat": 10}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 6, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinx.ext.todo": 2, "sphinx": 56}})
\ No newline at end of file
+Search.setIndex({"docnames": ["api", "development-environment", "index", "modules", "transactions", "transactron", "transactron.core", "transactron.lib", "transactron.testing", "transactron.utils", "transactron.utils.amaranth_ext"], "filenames": ["api.md", "development-environment.md", "index.md", "modules.rst", "transactions.md", "transactron.rst", "transactron.core.rst", "transactron.lib.rst", "transactron.testing.rst", "transactron.utils.rst", "transactron.utils.amaranth_ext.rst"], "titles": ["API", "Development environment", "Transactron", "transactron", "Documentation for Transactron", "transactron package", "transactron.core package", "transactron.lib package", "transactron.testing package", "transactron.utils package", "transactron.utils.amaranth_ext package"], "terms": {"packag": [0, 1, 2, 3], "subpackag": [0, 3], "core": [0, 3, 5, 7, 9], "submodul": [0, 3], "kei": [0, 3, 5, 7, 9], "modul": [0, 1, 3, 4], "manag": [0, 1, 3, 4, 5, 7, 9], "method": [0, 1, 2, 3, 5, 7, 8, 9, 10], "schedul": [0, 2, 3, 5, 7, 10], "sugar": [0, 3, 5, 10], "tmodul": [0, 3, 4, 5, 7], "transact": [0, 1, 2, 3, 5, 7, 10], "transaction_bas": [0, 3, 5], "content": [0, 3], "lib": [0, 3, 5, 6, 8, 9, 10], "adapt": [0, 3, 4, 5, 8], "alloc": [0, 3, 5], "button": [0, 3, 5], "connector": [0, 3, 5], "depend": [0, 3, 4, 5, 10], "fifo": [0, 3, 4, 5, 6], "log": [0, 1, 3, 5, 9], "metric": [0, 3, 5, 9], "reqr": [0, 3, 5], "simultan": [0, 3, 4, 5, 6], "storag": [0, 3, 5], "transform": [0, 3, 5], "test": [0, 2, 3, 5, 6, 7, 9, 10], "function": [0, 3, 4, 5, 6, 7, 9], "infrastructur": [0, 3, 5], "input_gener": [0, 3, 5], "method_mock": [0, 3, 5], "profil": [0, 1, 3], "testbenchio": [0, 3, 5], "tick_count": [0, 3, 5], "util": [0, 3, 5, 7], "assign": [0, 3, 4, 5, 6], "data_repr": [0, 3, 5], "debug_sign": [0, 3, 5, 6, 7, 8], "depcach": [0, 3, 5], "gen": [0, 3, 5], "idgen": [0, 3, 5], "transactron_help": [0, 3, 5], "graph": [0, 1, 3, 6], "trace": [0, 1, 3], "In": [1, 4, 5, 6, 7, 8, 9, 10], "order": [1, 2, 6, 7, 10], "prepar": [1, 5], "pleas": [1, 4], "follow": [1, 4, 7, 8, 9], "step": [1, 4], "below": [1, 7], "instal": 1, "python": [1, 4, 6, 7, 8, 9], "3": [1, 5, 6, 9], "11": 1, "interpret": [1, 7, 9], "pip": 1, "option": [1, 4, 5, 6, 7, 8, 9, 10], "creat": [1, 4, 6, 7, 8, 9, 10], "virtual": 1, "python3": 1, "m": [1, 4, 6, 7, 10], "venv": 1, "project": [1, 4, 6], "directori": 1, "activ": [1, 6, 7, 8, 10], "gener": [1, 5, 6, 7, 8, 9, 10], "bin": 1, "all": [1, 4, 5, 6, 7, 9, 10], "requir": [1, 4, 5, 6], "librari": [1, 2, 7], "pip3": 1, "dev": 1, "precommit": 1, "hook": [1, 5, 7], "pre": 1, "commit": 1, "thi": [1, 4, 5, 6, 7, 8, 9, 10], "automat": [1, 8, 9, 10], "linter": 1, "befor": [1, 4, 6, 7], "ar": [1, 4, 5, 6, 7, 8, 9, 10], "pytest": 1, "thing": [1, 4, 7, 9], "know": 1, "To": [1, 7, 9], "speed": 1, "multipl": [1, 4, 6, 7, 8, 9, 10], "worker": 1, "thread": 1, "can": [1, 4, 5, 6, 7, 8, 9, 10], "n": [1, 6, 7, 10], "auto": 1, "onli": [1, 4, 5, 6, 7, 8, 9, 10], "some": [1, 4, 6, 7], "k": 1, "express": [1, 4, 7], "format": [1, 4, 5, 6, 7, 9, 10], "i": [1, 4, 5, 6, 7, 8, 9, 10], "describ": [1, 5, 6, 7, 8], "doc": 1, "abl": [1, 7], "read": [1, 4, 6, 7, 9], "standard": [1, 7, 8, 10], "output": [1, 6, 7, 8, 10], "even": [1, 4, 6, 7], "success": [1, 8], "": [1, 4, 5, 6, 7, 9, 10], "custom": [1, 7], "transactron": 1, "file": [1, 9], "readabl": [1, 7], "gtkwave": [1, 9], "The": [1, 2, 5, 6, 7, 8, 9, 10], "save": [1, 5, 7, 9], "__traces__": 1, "execut": [1, 4, 5, 6, 7, 8], "name": [1, 4, 5, 6, 7, 8, 9, 10], "__profiles__": 1, "filter": [1, 7], "allow": [1, 4, 6, 7, 8, 10], "contain": [1, 4, 6, 7, 9, 10], "number": [1, 5, 6, 7, 8, 9, 10], "which": [1, 4, 5, 6, 7, 8, 9, 10], "ci": 1, "also": [1, 4, 7, 8], "intend": [1, 6, 10], "local": 1, "thei": [1, 4, 6, 7], "check": [1, 6, 7, 9], "code": [1, 4, 5, 7, 9], "type": [1, 6, 7, 8, 9], "It": [1, 4, 5, 6, 7, 8, 9, 10], "should": [1, 4, 6, 7, 8, 9, 10], "subcommand": 1, "filenam": 1, "main": 1, "avail": [1, 7], "reformat": 1, "black": 1, "check_format": 1, "verifi": 1, "flake8": 1, "check_typ": 1, "pyright": 1, "same": [1, 4, 6, 7, 9, 10], "when": [1, 4, 6, 7, 8, 9, 10], "confront": 1, "would": [1, 4, 7, 9], "messag": [1, 7], "from": [1, 4, 5, 6, 7, 8, 9, 10], "you": [1, 6, 7, 10], "mai": [1, 7, 9], "diff": 1, "wai": [1, 4, 6, 7, 9, 10], "displai": 1, "chang": [1, 4, 7, 8, 9, 10], "appli": [1, 5, 6, 8], "chose": 1, "help": [1, 7], "locat": [1, 5, 6, 7, 9], "issu": [1, 4, 7], "document": [1, 2], "sphinx": 1, "html": 1, "build": [1, 7], "process": [1, 7, 8], "present": [1, 4, 7, 9], "them": [1, 4, 6, 7, 9], "run_test": 1, "__profile__": 1, "profile_fil": 1, "json": [1, 9], "inform": [1, 5, 7, 9], "about": [1, 5, 7, 9], "default": [1, 4, 5, 6, 7, 9, 10], "For": [1, 4, 5, 7, 9, 10], "one": [1, 4, 6, 7, 8, 9, 10], "mode": 1, "column": 1, "have": [1, 4, 6, 7, 8, 9, 10], "mean": [1, 6, 7], "question": [1, 4], "togeth": [1, 4, 6], "differenti": 1, "between": [1, 4, 6, 7, 8, 9, 10], "ident": [1, 7, 10], "differ": [1, 6, 7, 8, 9, 10], "sourc": [1, 5, 6, 7], "line": 1, "where": [1, 4, 6, 7, 8, 9], "wa": [1, 4, 5, 6, 7, 8, 9], "declar": [1, 4, 7, 8], "further": [1, 7], "disambigu": 1, "lock": [1, 4, 5, 7], "show": 1, "cycl": [1, 4, 5, 6, 7, 8], "caller": [1, 4, 5, 6, 7], "call": [1, 4, 5, 6, 7, 8, 9, 10], "fals": [1, 4, 5, 6, 7, 9, 10], "condit": [1, 4, 5, 6, 7], "could": [1, 4, 7, 8], "forc": 1, "wait": [1, 6, 8], "anoth": [1, 4, 6, 7, 8], "conflict": [1, 2, 5, 6], "given": [1, 4, 5, 6, 7, 8, 9, 10], "produc": [1, 6], "each": [1, 4, 5, 6, 7, 8, 9, 10], "tree": [1, 5, 7], "counter": [1, 7], "root": [1, 5], "count": [1, 6, 7, 10], "an": [1, 4, 5, 6, 7, 8, 9, 10], "invert": 1, "leav": 1, "children": 1, "node": 1, "field": [1, 4, 5, 6, 7, 9], "how": [1, 6, 7], "mani": [1, 4, 5, 6, 7, 8, 9], "respons": [1, 6, 7], "other": [1, 4, 5, 6, 7, 10], "sort": [1, 7, 10], "select": [1, 7, 10], "row": 1, "regular": 1, "loc": 1, "develop": [2, 7], "environ": 2, "set": [2, 6, 7, 8, 9, 10], "up": [2, 7, 9], "run": [2, 4, 5, 6, 7, 8, 10], "us": [2, 4, 6, 7, 8, 9, 10], "script": 2, "lint": 2, "sh": 2, "build_doc": 2, "tprof": 2, "py": [2, 8], "introduct": 2, "basic": [2, 7], "usag": 2, "implement": [2, 7, 9, 10], "argument": [2, 6, 7, 8, 9, 10], "pass": [2, 6, 7, 8, 9], "convent": 2, "definit": [2, 6, 8], "return": [2, 6, 7, 9, 10], "valu": [2, 5, 6, 7, 8, 9, 10], "readi": [2, 5, 6, 7, 10], "signal": [2, 5, 6, 7, 8, 9, 10], "advanc": [2, 8], "concept": 2, "special": [2, 7], "combin": [2, 6, 7, 8, 9], "domain": [2, 6], "nest": [2, 7], "api": 2, "amaranth": [4, 5, 6, 7, 8, 9, 10], "connect": [4, 6, 7, 10], "complex": [4, 7], "inspir": 4, "bluespec": 4, "program": 4, "languag": 4, "see": [4, 7], "wiki": 4, "compil": 4, "idea": 4, "interfac": [4, 6, 7], "hardwar": [4, 7], "A": [4, 5, 6, 7, 8, 9], "state": [4, 6, 7, 8], "oper": [4, 6, 7, 10], "perform": [4, 6, 7, 8, 9, 10], "singl": [4, 6, 7, 8, 9], "clock": [4, 5, 6, 7, 8], "atom": 4, "either": [4, 6, 7, 8, 9, 10], "its": [4, 6, 7, 8, 9, 10], "entrieti": 4, "doe": [4, 10], "defin": [4, 6, 7, 8, 9, 10], "via": [4, 6, 7], "directli": [4, 6], "link": 4, "indirectli": [4, 6], "If": [4, 5, 6, 7, 8, 9, 10], "try": 4, "access": [4, 7, 8, 9], "coordin": 4, "system": [4, 9], "avoid": 4, "commun": 4, "both": [4, 6, 7, 9, 10], "direct": [4, 5, 6, 7], "back": 4, "structur": [4, 5, 6, 7, 9], "record": [4, 6, 7, 9, 10], "simplest": 4, "part": [4, 6, 7], "elaborat": [4, 5, 6, 7, 8, 9], "block": [4, 6, 7], "class": [4, 5, 6, 7, 8, 9, 10], "myth": 4, "def": [4, 6], "elabor": 4, "self": [4, 6, 8], "platform": [4, 5], "bodi": [4, 6, 7], "includ": [4, 6, 7, 9, 10], "like": [4, 6, 7, 8], "d": [4, 6, 7, 9, 10], "comb": [4, 6, 10], "sig1": 4, "eq": [4, 6, 10], "expr1": 4, "sync": [4, 6], "sig2": 4, "expr2": 4, "result": [4, 7, 8, 9], "arg_expr": 4, "work": [4, 6, 7, 8], "analog": 4, "multiplex": 4, "rememb": [4, 5], "statement": [4, 6, 9], "insid": [4, 6, 7], "alwai": [4, 6, 7, 8, 10], "onc": [4, 6, 7, 10], "As": [4, 7], "typic": [4, 6, 7], "constructor": [4, 6, 9], "myotherth": 4, "__init__": [4, 5, 6, 7, 8, 9, 10], "o": [4, 6, 10], "paramet": [4, 6, 7, 8, 9, 10], "layout": [4, 6, 7, 8, 9], "my_method": [4, 6], "input_layout": 4, "output_layout": 4, "need": [4, 6, 7, 8], "instead": [4, 5, 6, 7, 8, 10], "def_method": [4, 6], "_": [4, 6], "arg": [4, 5, 6, 7, 8, 9, 10], "other_method": 4, "ret_expr": 4, "techniqu": 4, "abov": 4, "conveni": [4, 6, 7], "syntax": [4, 6, 10], "just": [4, 7], "particular": 4, "unnam": 4, "usual": [4, 7, 8], "exampl": [4, 6, 7, 8, 10], "around": 4, "entir": 4, "sometim": 4, "might": [4, 5, 7], "two": [4, 6, 7, 9], "altern": [4, 6, 7], "decid": [4, 8], "best": 4, "easi": [4, 7], "import": 4, "ask": 4, "yourself": 4, "someth": [4, 10], "independ": [4, 7], "so": [4, 5, 6, 7, 10], "mayb": 4, "Or": 4, "extern": [4, 6], "doubt": 4, "prefer": 4, "becaus": [4, 5, 6, 7, 8], "noth": 4, "els": [4, 6], "Such": [4, 7], "adaptertran": [4, 7], "though": 4, "case": [4, 6, 7, 8, 9, 10], "cleaner": 4, "suppos": 4, "we": [4, 7, 8], "input": [4, 6, 7, 8, 10], "foo": [4, 7], "1": [4, 5, 6, 7, 8, 9, 10], "bar": [4, 7], "32": [4, 7], "cleanest": 4, "recommend": 4, "keyword": [4, 6, 7, 8, 9], "foo_expr": 4, "bar_expr": 4, "dict": [4, 5, 6, 7, 8, 9, 10], "final": 4, "rec": 4, "recurs": [4, 5, 7, 9], "take": [4, 6, 7, 8, 9], "layout2": 4, "foobar": 4, "baz": 4, "42": 4, "method2": [4, 7], "One": [4, 7, 10], "baz_expr": 4, "receiv": [4, 6, 7, 8], "method3": 4, "resourc": [4, 6], "request": [4, 5, 6, 7, 8, 10], "bit": [4, 6, 7, 9, 10], "expr": 4, "similar": [4, 6, 7, 10], "mechan": [4, 7], "intern": [4, 6, 7], "risk": [4, 7], "introduc": 4, "loop": [4, 6], "certain": 4, "occas": 4, "possibl": [4, 7, 8, 9], "relax": 4, "e": [4, 7, 8, 9, 10], "g": [4, 7, 8, 9, 10], "framework": 4, "design": [4, 5], "facilit": 4, "re": [4, 6], "provid": [4, 7, 8, 9], "most": [4, 6, 7], "ones": 4, "connecttran": [4, 7], "queue": [4, 7], "write": [4, 6, 7], "plain": [4, 6, 7], "These": 4, "veri": 4, "testbench": [4, 7, 8], "own": [4, 5, 6, 7], "variant": 4, "Its": 4, "role": 4, "improv": 4, "circuit": [4, 6, 7, 9], "omit": [4, 6, 7], "unneed": 4, "done": [4, 6, 7, 8], "ad": [4, 6, 7, 8, 9, 10], "addit": [4, 9], "combinatori": 4, "av_comb": [4, 6], "top_comb": [4, 6, 10], "under": [4, 5, 6], "avoidedif": [4, 6], "guard": [4, 6, 7, 8], "grant": [4, 5, 6, 7, 10], "therefor": 4, "don": [4, 6, 8], "t": [4, 6, 7, 8, 9], "induc": 4, "often": 4, "safe": [4, 9], "do": [4, 6, 7, 8, 10], "switch": [4, 6, 7, 10], "etc": [4, 8], "logic": 4, "belong": [4, 7], "aren": [4, 7], "actual": 4, "were": [4, 8], "manual": [4, 8, 10], "move": [4, 7], "top": [4, 6, 9], "level": [4, 6, 7, 8, 9], "caveat": 4, "normal": [4, 7, 8], "cannot": [4, 6, 7, 8], "exist": [4, 7, 9], "forward": [4, 6, 7], "place": [4, 6, 7], "handl": [4, 6], "make": [4, 5, 8], "consid": [4, 6, 7], "object": [4, 5, 7, 8, 9], "schedule_befor": [4, 6], "after": [4, 7], "first": [4, 6, 7, 8, 9, 10], "first_t_or_m": 4, "other_t_or_m": 4, "lift": 4, "first_m": 4, "other_t": 4, "t1": 4, "t2": 4, "made": 4, "situat": [4, 6], "mutual": [4, 6, 7], "exclus": [4, 6, 7, 10], "similarli": [4, 7], "add_conflict": [4, 6], "ha": [4, 5, 6, 7, 10], "prioriti": [4, 6, 7, 10], "left": [4, 6, 7], "right": [4, 6], "undefin": [4, 6, 7], "add": [4, 6, 7, 8, 9, 10], "other_m": 4, "come": 4, "cost": 4, "increas": [4, 7], "size": [4, 7, 9], "delai": [4, 8], "featur": 4, "consider": 4, "parent": 4, "convers": 4, "true": [4, 5, 6, 7, 8, 9, 10], "doesn": [4, 7], "limit": [4, 7], "impli": 4, "amaranth_ext": [5, 9], "extract": 5, "base": [5, 6, 7, 8, 9, 10], "intflag": 5, "IN": 5, "inout": 5, "none": [5, 6, 7, 8, 9, 10], "0": [5, 6, 7, 8, 10], "out": [5, 6, 7, 10], "2": [5, 6, 7, 9], "__new__": 5, "protocol": [5, 6, 7], "kwarg": [5, 6, 7, 8, 9, 10], "str": [5, 6, 7, 8, 9, 10], "owner": 5, "ownershipgraph": 5, "dump": 5, "fp": 5, "liter": [5, 10], "dot": [5, 7], "elk": 5, "mermaid": 5, "dump_dot": 5, "int": [5, 6, 7, 8, 9, 10], "indent": [5, 7, 9], "dump_elk": 5, "dump_mermaid": 5, "get_hier_nam": 5, "obj": 5, "get": [5, 6, 7, 8, 9, 10], "hierarch": 5, "rais": [5, 7, 8, 9], "keyerror": [5, 7, 9], "yet": 5, "get_nam": 5, "insert_edg": 5, "fr": 5, "insert_nod": 5, "mermaid_direct": 5, "prune": 5, "mark": 5, "empti": [5, 7], "subgraph": 5, "remember_field": 5, "owner_id": 5, "methodsampl": 5, "runtim": [5, 7, 10], "control": [5, 6, 7, 8, 10], "attribut": [5, 6, 7, 9, 10], "bool": [5, 6, 7, 8, 9, 10], "simul": [5, 6, 7, 8], "restor": 5, "analysi": 5, "tool": 5, "data": [5, 6, 7, 8, 9, 10], "refer": [5, 9], "uniqu": [5, 7], "id": 5, "transactions_and_method": 5, "profileinfo": 5, "index": [5, 6, 7, 10], "list": [5, 6, 7, 8, 9, 10], "cycleprofil": 5, "factori": [5, 7, 9], "analyze_method": 5, "runstatnod": 5, "analyze_transact": 5, "static": [5, 6, 8, 9, 10], "decod": [5, 9, 10], "file_nam": [5, 9], "encod": [5, 7, 9, 10], "classmethod": [5, 6, 7, 9], "from_dict": [5, 7, 9], "kv": [5, 7, 9], "union": [5, 6, 7, 8, 9], "float": [5, 7, 8, 9], "infer_miss": [5, 7, 9], "from_json": [5, 7, 9], "byte": [5, 7, 9], "bytearrai": [5, 7, 9], "parse_float": [5, 7, 9], "parse_int": [5, 7, 9], "parse_const": [5, 7, 9], "kw": [5, 7, 9], "schema": [5, 7, 9], "exclud": [5, 7, 9], "context": [5, 6, 7, 8, 9], "load_onli": [5, 7, 9], "dump_onli": [5, 7, 9], "partial": [5, 7, 9], "unknown": [5, 7, 9], "schemaf": [5, 7, 9], "to_dict": [5, 7, 9], "encode_json": [5, 7, 9], "to_json": [5, 7, 9], "skipkei": [5, 7, 9], "ensure_ascii": [5, 7, 9], "check_circular": [5, 7, 9], "allow_nan": [5, 7, 9], "separ": [5, 6, 7, 9], "tupl": [5, 6, 7, 8, 9, 10], "callabl": [5, 6, 7, 8, 9], "sort_kei": [5, 7, 9], "profiledata": [5, 9], "individu": 5, "method_par": 5, "transactions_by_method": 5, "transaction_conflict": 5, "transaction_manag": [5, 6, 8], "transactionmanag": [5, 6, 8], "src_loc": [5, 6, 7, 9], "srcloc": [5, 6, 7], "is_transact": 5, "profilesampl": 5, "transactionsampl": 5, "runstat": 5, "collect": [5, 6, 7, 8, 9, 10], "statist": 5, "disabl": [5, 7, 8], "did": [5, 8], "info": [5, 7], "summar": 5, "stat": 5, "runnabl": [5, 6], "tracingenabl": 5, "tracingfrag": 5, "fragment": [5, 6], "haselabor": [5, 6, 7, 8, 10], "origin": [5, 7], "lose": 5, "too": [5, 7], "difficult": 5, "exact": 5, "copi": 5, "relev": 5, "copyright": 5, "subfrag": 5, "hdl": [5, 6, 7, 8, 9, 10], "_ir": [5, 9], "tracingfragmenttransform": 5, "fragmenttransform": 5, "on_frag": 5, "tracinginst": 5, "instanc": [5, 6, 7, 9, 10], "transactionmanagerkei": 6, "simplekei": [6, 7, 8, 9], "transactioncompon": 6, "transactionmodul": 6, "compon": [6, 7], "transactroncompon": 6, "wrapper": [6, 7], "support": [6, 7, 10], "wrap": 6, "synthesi": 6, "port": [6, 7, 9, 10], "extend": [6, 10], "abstractcompon": 6, "dependency_manag": [6, 8], "dependencymanag": [6, 7, 8, 9], "new": [6, 7, 9, 10], "care": [6, 7], "never": 6, "cc_schedul": 6, "methodmap": [6, 7], "_dsl": 6, "eager_deterministic_cc_schedul": 6, "add_transact": 6, "_ast": [6, 7, 8, 9, 10], "_rec": [6, 7, 9, 10], "view": [6, 7, 9, 10], "abc": [6, 7, 8, 9, 10], "iter": [6, 7, 8, 9, 10], "signalbundl": [6, 7, 9, 10], "map": [6, 7, 8, 9, 10], "print_info": 6, "cgr": 6, "porder": 6, "cc": 6, "method_map": 6, "visual_graph": 6, "store": [6, 7, 8, 9], "dependencycontext": [6, 9], "transactionbas": 6, "serv": [6, 7], "simultena": 6, "rest": 6, "must": [6, 7, 9], "non": [6, 7, 8], "except": [6, 8, 9], "behavior": [6, 7, 9], "combination": 6, "transfer": [6, 7], "structlayout": [6, 7, 8, 9], "time": [6, 7, 8], "data_out": [6, 7], "data_in": [6, 7], "effect": [6, 7, 8], "current": 6, "methodstruct": [6, 7], "shapelik": [6, 7, 8, 9], "layoutlist": [6, 7, 8, 9], "nonexclus": [6, 7], "sequenc": [6, 7, 9], "enum": [6, 7, 8, 9, 10], "valuecast": [6, 7, 8, 9, 10], "assignarg": [6, 9], "single_cal": [6, 7], "hint": 6, "infer": 6, "variabl": [6, 10], "happen": [6, 8], "still": [6, 7], "third": [6, 7], "vector": [6, 7], "whose": 6, "th": [6, 7, 10], "error": [6, 7, 9], "thrown": 6, "stack": [6, 7, 9], "frame": [6, 7], "deep": [6, 7], "taken": [6, 7], "const": [6, 7, 8, 9], "d1": [6, 7], "d0": 6, "validate_argu": [6, 7, 8], "action": [6, 7, 9], "indic": [6, 7, 10], "By": [6, 7], "combinationi": 6, "valuelik": [6, 7, 8, 10], "whether": [6, 7, 10], "those": 6, "instanti": 6, "accept": [6, 7, 9], "my_sum_method": 6, "arg1": 6, "8": [6, 7], "arg2": 6, "sum": [6, 7], "16": 6, "properti": [6, 8], "layout_in": [6, 7], "layout_out": [6, 7], "construct": [6, 7], "blueprint": 6, "freshli": 6, "proxi": 6, "gr": 6, "transactiongraph": 6, "transactiongraphcc": 6, "priorityord": 6, "eager": 6, "subsystem": [6, 10], "isn": 6, "fair": 6, "start": [6, 7, 10], "lowest": 6, "highest": [6, 10], "concurr": 6, "arbitr": [6, 10], "agent": [6, 10], "vertic": 6, "edg": [6, 7, 8], "linear": 6, "consist": 6, "constraint": 6, "trivial_roundrobin_cc_schedul": 6, "simpl": [6, 7, 9, 10], "round": [6, 9, 10], "robin": [6, 10], "mainli": 6, "purpos": [6, 7], "decor": [6, 8], "eleg": 6, "correspond": [6, 7, 8, 10], "dictionari": [6, 7], "go": 6, "lambda": [6, 8], "over": [6, 7, 8], "easili": [6, 7], "expect": 6, "least": [6, 8, 10], "equival": [6, 7, 8, 10], "rang": [6, 7, 8, 9, 10], "len": [6, 7, 10], "form": [6, 7], "concaten": [6, 7], "three": 6, "parametr": 6, "my_filter_read_method": 6, "ready_list": 6, "head": [6, 7], "modulelik": [6, 7, 10], "everi": [6, 7, 8], "reduc": 6, "amount": [6, 8], "useless": 6, "multplex": 6, "due": [6, 7], "while": [6, 8], "unguard": 6, "path": [6, 7], "length": [6, 7, 8, 9], "keep": 6, "relat": [6, 7, 9], "synchron": [6, 7, 8], "cond": [6, 7], "pattern": 6, "elif": 6, "fsm": 6, "init": [6, 7], "ctrl_path": 6, "next": [6, 8, 10], "noreturn": 6, "repres": [6, 7], "task": 6, "regularli": 6, "last": [6, 7, 10], "met": 6, "explicit": 6, "implicit": 6, "aris": 6, "pair": [6, 7, 10], "want": [6, 8, 10], "transactioncontext": 6, "priorit": 6, "end": [6, 7, 10], "regist": [6, 7, 9], "reason": 6, "common": [6, 7, 9], "memori": [6, 7], "transactionormethodbound": 6, "ctrlpath": 6, "def_count": 6, "classvar": 6, "def_ord": 6, "independent_list": 6, "forwardref": [6, 8, 9], "method_cal": 6, "defaultdict": 6, "method_us": 6, "owned_nam": 6, "peek": [6, 7], "relationbas": 6, "without": [6, 7, 9], "simultaneous_altern": 6, "howev": [6, 7], "simultaneous_list": 6, "adapterbas": [7, 8], "mock": [7, 8], "en": [7, 8], "valid": [7, 8, 9, 10], "descript": [7, 9], "with_validate_argu": [7, 8], "ifac": 7, "expos": [7, 9], "priorityencoderalloc": 7, "superscalar": 7, "identifi": 7, "dealloc": 7, "continu": [7, 8], "fresh": 7, "littl": 7, "free": 7, "entri": [7, 9], "total": 7, "mask": 7, "treat": 7, "reset": 7, "clickin": 7, "click": 7, "interact": 7, "fpga": 7, "On": 7, "rise": 7, "btn": 7, "enabl": [7, 8, 9], "dat": 7, "retriev": 7, "clickout": 7, "led": 7, "put": 7, "flow": 7, "revers": 7, "possibli": 7, "rev_layout": 7, "second": [7, 10], "vice": 7, "versa": 7, "compat": 7, "method1": 7, "respect": 7, "full": 7, "fulfil": 7, "depth": 7, "fifo_typ": 7, "syncfifo": 7, "fifotyp": 7, "conform": 7, "overflow": 7, "buffer": [7, 10], "No": 7, "until": [7, 8], "clear": [7, 9], "manytooneconnecttran": 7, "get_result": 7, "put_result": 7, "pipe": 7, "halfwai": 7, "locali": 7, "critic": [7, 8], "cut": 7, "comparison": 7, "clean": 7, "stableselectingnetwork": 7, "network": 7, "group": 7, "consecut": 7, "preserv": 7, "invalid": [7, 10], "divid": 7, "conquer": 7, "algorithm": 7, "alreadi": [7, 9, 10], "properli": 7, "v1": 7, "b": 7, "v2": 7, "c": [7, 8], "now": 7, "shift": 7, "merg": 7, "v": 7, "thu": 7, "log_2": 7, "dependencykei": [7, 9], "u": [7, 9], "concret": [7, 9], "frozen": [7, 9], "lock_on_get": [7, 9], "specifi": [7, 9], "get_depend": [7, 9], "cach": [7, 9], "subsequ": [7, 9], "empty_valid": [7, 9], "ani": [7, 8, 9, 10], "caus": [7, 9], "abstract": [7, 9], "add_depend": [7, 9], "give": [7, 9], "kind": [7, 9], "track": [7, 9], "across": [7, 9], "multpl": [7, 9], "dependency_provid": [7, 9], "ignor": [7, 9], "get_optional_depend": [7, 9], "gettabl": [7, 9], "otherwis": [7, 9, 10], "listkei": [7, 9], "dependeci": [7, 9], "more": [7, 8, 9, 10], "than": [7, 9, 10], "default_valu": [7, 9], "unifierkei": 7, "unifi": 7, "wish": 7, "basicfifo": 7, "element": 7, "front": 7, "delet": 7, "note": 7, "reiniti": 7, "semaphor": 7, "max_count": 7, "hardwarelogg": 7, "intuit": 7, "logger": 7, "softwar": 7, "anywher": 7, "parallel": 7, "natur": [7, 10], "trigger": [7, 8, 9], "shall": 7, "report": 7, "evalu": [7, 8], "print": 7, "dure": [7, 8], "arbitrari": 7, "exactli": 7, "string": [7, 8], "organ": 7, "namespac": 7, "hierarchi": 7, "period": 7, "much": 7, "frontend": 7, "upper": 7, "icach": 7, "bpu": 7, "sub": 7, "There": 7, "backend": 7, "fu": 7, "jumpbranch": 7, "assert": [7, 8, 10], "src_loc_at": 7, "find": 7, "bug": 7, "hard": 7, "detect": 7, "termin": 7, "turn": 7, "warn": 7, "board": 7, "detail": 7, "debug": [7, 9], "sever": 7, "semant": 7, "server": 7, "pep": 7, "3101": 7, "look": 7, "fail": 7, "logkei": 7, "logrecord": 7, "logrecordinfo": [7, 9], "event": 7, "being": [7, 9, 10], "logger_nam": [7, 9], "format_str": [7, 9], "agnost": 7, "serial": 7, "outsid": 7, "loglevel": 7, "templat": 7, "get_log_record": 7, "namespace_regexp": [7, 8], "bigger": 7, "equal": [7, 10], "minimum": 7, "regexp": 7, "get_trigger_bit": 7, "high": [7, 10], "whenev": 7, "fifolatencymeasur": 7, "measur": 7, "durat": 7, "latenc": 7, "finish": 7, "exponenti": 7, "histogram": 7, "fully_qualified_nam": 7, "slots_numb": 7, "max_lat": 7, "fulli": 7, "qualifi": 7, "human": 7, "maximum": 7, "width": [7, 9, 10], "bucket": 7, "metrics_en": 7, "previou": 7, "slot": 7, "stop": 7, "oldest": 7, "hardwaremetricsmanag": 7, "compos": 7, "get_metr": 7, "hwmetric": 7, "get_register_valu": 7, "metric_nam": 7, "reg_nam": 7, "hold": 7, "load": [7, 9], "min": 7, "hwcounter": 7, "width_bit": 7, "incr": 7, "hwexphistogram": 7, "distribut": 7, "sampl": [7, 8], "through": 7, "observ": 7, "configur": 7, "5": [7, 8], "4": [7, 9], "inf": 7, "addition": 7, "bucket_count": 7, "sample_width": 7, "registers_width": 7, "max_valu": 7, "calcul": 7, "metricmodel": 7, "add_regist": 7, "reg": [7, 9], "hwmetricregist": 7, "inherit": 7, "initi": 7, "hwmetricsenabledkei": 7, "theirs": 7, "synthes": 7, "compris": 7, "dedic": 7, "specif": 7, "determin": [7, 9], "user": 7, "join": 7, "metricregistermodel": 7, "associ": 7, "fundament": 7, "singular": 7, "among": 7, "reman": 7, "brief": 7, "taggedcount": 7, "tag": 7, "At": 7, "dynam": [7, 10], "integ": [7, 8, 9], "neg": [7, 8, 9], "ok": 7, "hot": [7, 10], "optim": 7, "tag_width": 7, "one_hot": 7, "underli": 7, "taggedlatencymeasur": 7, "argumentstoresultszipp": 7, "zip": 7, "calle": 7, "asymmetri": 7, "long": 7, "correctli": 7, "rate": 7, "reach": [7, 10], "capac": 7, "topologi": 7, "peek_arg": 7, "write_arg": 7, "args_layout": 7, "write_result": 7, "results_layout": 7, "latest": 7, "client": 7, "somethig": 7, "deseri": 7, "proper": 7, "assum": [7, 9], "serialize_in": 7, "serialized_req_method": 7, "serialize_out": 7, "serialized_resp_method": 7, "port_count": 7, "resist": 7, "pipelin": 7, "nonblock": 7, "overlap": 7, "branch": 7, "boolean": 7, "catch": 7, "negat": [7, 9], "influenc": 7, "cond1": 7, "cond2": 7, "asyncmemorybank": 7, "asynchron": 7, "granular": 7, "addr": 7, "data_layout": [7, 9], "address": 7, "appropri": 7, "written": 7, "elem_count": [7, 8], "read_port": 7, "write_port": 7, "memory_typ": 7, "amaranth_typ": 7, "abstractmemoryconstructor": 7, "whole": 7, "split": 7, "contentaddressablememori": 7, "addres": 7, "short": 7, "cam": 7, "predefin": [7, 8], "fed": 7, "insert": 7, "compar": 7, "hit": 7, "push": 7, "behaviour": 7, "nondestruct": 7, "updat": [7, 10], "remov": 7, "address_layout": 7, "entries_numb": 7, "layoutlik": 7, "memorybank": 7, "read_req": 7, "read_resp": 7, "transpar": 7, "cattran": 7, "src1": 7, "src2": 7, "dst": 7, "collector": 7, "target": 7, "method_list": 7, "connectandmaptran": 7, "behav": 7, "modifi": 7, "i_fun": 7, "recorddict": 7, "o_fun": 7, "methodfilt": 7, "zero": [7, 10], "desir": 7, "use_condit": 7, "drawback": 7, "simultaneu": 7, "bidirect": 7, "i_transform": 7, "o_transform": 7, "unmodifi": 7, "methodproduct": 7, "product": 7, "comput": [7, 9], "methodtryproduct": 7, "tri": 7, "succeed": [7, 8], "data_const_to_dict": 8, "pysimsimul": 8, "max_cycl": 8, "100000": 8, "add_transaction_modul": 8, "traces_fil": 8, "clk_period": 8, "1e": 8, "06": 8, "indefinit": 8, "simpletestcircuit": 8, "_t_haselabor": 8, "dut": 8, "testcasewithsimul": 8, "add_mock": 8, "sim": 8, "val": [8, 9], "methodmock": 8, "fixture_initialize_testing_env": 8, "async": 8, "random_wait": 8, "simulatorcontext": 8, "max_cycle_cnt": 8, "min_cycle_cnt": 8, "random": 8, "random_wait_geom": 8, "prob": 8, "till": 8, "probabl": 8, "reinitialize_fixtur": 8, "run_simul": 8, "tick": 8, "cycle_cnt": 8, "opnop": 8, "generate_based_on_layout": 8, "searchstrategi": 8, "recordintdict": 8, "generate_method_input": 8, "generate_nops_in_list": 8, "max_nop": 8, "generate_list": 8, "generate_process_input": 8, "generate_shrinkable_list": 8, "trick": 8, "http": 8, "github": 8, "com": 8, "hypothesiswork": 8, "hypothesi": 8, "blob": 8, "6867da71beae0e4ed004b54b92ef7c74d0722815": 8, "src": 8, "l143": 8, "insert_nop": 8, "draw": 8, "drawfn": 8, "lst": 8, "make_logging_process": 8, "on_error": 8, "parse_logging_level": 8, "pars": 8, "represent": [8, 9, 10], "effect_process": 8, "output_process": 8, "validate_arguments_process": 8, "def_method_mock": 8, "tb_getter": 8, "handler": 8, "invok": 8, "discov": 8, "side": 8, "modif": 8, "sure": 8, "defer": 8, "sinc": 8, "eagerli": 8, "profiler_process": 8, "calltrigg": 8, "call_tri": 8, "problem": 8, "But": 8, "_call": 8, "tbio": 8, "kwdata": 8, "succe": 8, "ticktrigg": 8, "until_don": 8, "act": 8, "await": 8, "focu": 8, "call_do": 8, "call_init": 8, "call_result": 8, "get_call_result": 8, "testbenchcontext": 8, "get_don": 8, "get_output": 8, "sample_output": 8, "sample_outputs_don": 8, "sample_outputs_until_don": 8, "set_en": 8, "set_input": 8, "tickskei": 8, "make_tick_count_process": 8, "assigntyp": 9, "lh": 9, "rh": 9, "assignfield": 9, "lhs_strict": 9, "rhs_strict": 9, "mismatch": 9, "accord": 9, "explicitli": 9, "shape": 9, "castabl": 9, "item": [9, 10], "subfield": 9, "valueerror": 9, "align_down_to_power_of_two": 9, "num": 9, "power": 9, "down": 9, "align": 9, "align_to_power_of_two": 9, "average_dict_of_list": 9, "bits_from_int": 9, "lower": 9, "shapecast": 9, "int_to_sign": 9, "x": 9, "xlen": 9, "convert": 9, "u2": 9, "sign": 9, "layout_subset": 9, "make_hash": 9, "signed_to_int": 9, "auto_debug_sign": 9, "arrai": 9, "gtkw": 9, "dependentcach": 9, "itself": 9, "posit": [9, 10], "cl": 9, "generatedlog": 9, "verilog": 9, "trigger_loc": 9, "signalhandl": 9, "fields_loc": 9, "generationinfo": 9, "variou": 9, "metrics_loc": 9, "metricinfo": 9, "metadata": 9, "metricloc": 9, "transaction_signals_loc": 9, "transactionsignalsloc": 9, "method_signals_loc": 9, "methodsignalsloc": 9, "profile_data": 9, "generate_verilog": 9, "top_nam": 9, "idgener": 9, "async_mock_def_help": 9, "tb": 9, "func": 9, "def_help": 9, "tp": 9, "extend_layout": 9, "from_method_layout": 9, "get_caller_class_nam": 9, "get_src_loc": 9, "longest_common_prefix": 9, "seq": 9, "make_layout": 9, "method_def_help": 9, "mock_def_help": 9, "silence_mustus": 9, "binari": 10, "low": 10, "graydecod": 10, "grai": 10, "grayencod": 10, "prioritydecod": 10, "priorityencod": 10, "signific": 10, "moduleconnector": 10, "anonym": 10, "multipriorityencod": 10, "extens": 10, "word": 10, "multi": 10, "input_width": 10, "outputs_count": 10, "indici": 10, "ascend": 10, "less": 10, "begin": 10, "build_tre": 10, "in_sig": 10, "start_idx": 10, "prio_encod": 10, "cnt": 10, "one_hot_sing": 10, "idx": 10, "prio": 10, "been": 10, "create_simpl": 10, "hardcod": 10, "onehotswitch": 10, "match": 10, "style": 10, "benefit": 10, "sig": 10, "onehotcas": 10, "0b01": 10, "0b10": 10, "onehotswitchdynam": 10, "signifi": 10, "ringmultipriorityencod": 10, "flexibl": 10, "circular": 10, "inclus": 10, "roundrobin": 10, "greater": 10, "restart": 10, "enableinsert": 10, "deassert": 10, "count_leading_zero": 10, "count_trailing_zero": 10, "flatten_sign": 10, "flatten": 10, "mod_incr": 10, "mod": 10, "popcount": 10}, "objects": {"": [[5, 0, 0, "-", "transactron"]], "transactron": [[6, 0, 0, "-", "core"], [5, 0, 0, "-", "graph"], [7, 0, 0, "-", "lib"], [5, 0, 0, "-", "profiler"], [8, 0, 0, "-", "testing"], [5, 0, 0, "-", "tracing"], [9, 0, 0, "-", "utils"]], "transactron.core": [[6, 0, 0, "-", "keys"], [6, 0, 0, "-", "manager"], [6, 0, 0, "-", "method"], [6, 0, 0, "-", "schedulers"], [6, 0, 0, "-", "sugar"], [6, 0, 0, "-", "tmodule"], [6, 0, 0, "-", "transaction"], [6, 0, 0, "-", "transaction_base"]], "transactron.core.keys": [[6, 1, 1, "", "TransactionManagerKey"]], "transactron.core.keys.TransactionManagerKey": [[6, 2, 1, "", "__init__"]], "transactron.core.manager": [[6, 1, 1, "", "TransactionComponent"], [6, 1, 1, "", "TransactionManager"], [6, 1, 1, "", "TransactionModule"]], "transactron.core.manager.TransactionComponent": [[6, 2, 1, "", "__init__"]], "transactron.core.manager.TransactionManager": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "add_transaction"], [6, 2, 1, "", "debug_signals"], [6, 2, 1, "", "print_info"], [6, 2, 1, "", "visual_graph"]], "transactron.core.manager.TransactionModule": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "context"]], "transactron.core.method": [[6, 1, 1, "", "Method"], [6, 1, 1, "", "Methods"]], "transactron.core.method.Method": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "body"], [6, 2, 1, "", "debug_signals"], [6, 3, 1, "", "layout_in"], [6, 3, 1, "", "layout_out"], [6, 2, 1, "", "like"], [6, 2, 1, "", "proxy"]], "transactron.core.method.Methods": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "debug_signals"], [6, 3, 1, "", "layout_in"], [6, 3, 1, "", "layout_out"]], "transactron.core.schedulers": [[6, 4, 1, "", "eager_deterministic_cc_scheduler"], [6, 4, 1, "", "trivial_roundrobin_cc_scheduler"]], "transactron.core.sugar": [[6, 4, 1, "", "def_method"], [6, 4, 1, "", "def_methods"]], "transactron.core.tmodule": [[6, 1, 1, "", "TModule"]], "transactron.core.tmodule.TModule": [[6, 2, 1, "", "AvoidedIf"], [6, 2, 1, "", "Case"], [6, 2, 1, "", "Default"], [6, 2, 1, "", "Elif"], [6, 2, 1, "", "Else"], [6, 2, 1, "", "FSM"], [6, 2, 1, "", "If"], [6, 2, 1, "", "State"], [6, 2, 1, "", "Switch"], [6, 2, 1, "", "__init__"], [6, 3, 1, "", "ctrl_path"], [6, 3, 1, "", "next"]], "transactron.core.transaction": [[6, 1, 1, "", "Transaction"]], "transactron.core.transaction.Transaction": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "body"], [6, 2, 1, "", "debug_signals"]], "transactron.core.transaction_base": [[6, 1, 1, "", "Priority"], [6, 1, 1, "", "TransactionBase"]], "transactron.core.transaction_base.Priority": [[6, 5, 1, "", "LEFT"], [6, 5, 1, "", "RIGHT"], [6, 5, 1, "", "UNDEFINED"]], "transactron.core.transaction_base.TransactionBase": [[6, 2, 1, "", "__init__"], [6, 2, 1, "", "add_conflict"], [6, 2, 1, "", "context"], [6, 5, 1, "", "ctrl_path"], [6, 5, 1, "", "def_counter"], [6, 5, 1, "", "def_order"], [6, 5, 1, "", "defined"], [6, 2, 1, "", "get"], [6, 5, 1, "", "independent_list"], [6, 5, 1, "", "method_calls"], [6, 5, 1, "", "method_uses"], [6, 5, 1, "", "name"], [6, 3, 1, "", "owned_name"], [6, 2, 1, "", "peek"], [6, 5, 1, "", "relations"], [6, 2, 1, "", "schedule_before"], [6, 2, 1, "", "simultaneous"], [6, 2, 1, "", "simultaneous_alternatives"], [6, 5, 1, "", "simultaneous_list"], [6, 5, 1, "", "src_loc"], [6, 5, 1, "", "stack"]], "transactron.graph": [[5, 1, 1, "", "Direction"], [5, 1, 1, "", "Owned"], [5, 1, 1, "", "OwnershipGraph"]], "transactron.graph.Direction": [[5, 5, 1, "", "IN"], [5, 5, 1, "", "INOUT"], [5, 5, 1, "", "NONE"], [5, 5, 1, "", "OUT"], [5, 2, 1, "", "__new__"]], "transactron.graph.Owned": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "name"], [5, 5, 1, "", "owner"]], "transactron.graph.OwnershipGraph": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "dump"], [5, 2, 1, "", "dump_dot"], [5, 2, 1, "", "dump_elk"], [5, 2, 1, "", "dump_mermaid"], [5, 2, 1, "", "get_hier_name"], [5, 2, 1, "", "get_name"], [5, 2, 1, "", "insert_edge"], [5, 2, 1, "", "insert_node"], [5, 5, 1, "", "mermaid_direction"], [5, 2, 1, "", "prune"], [5, 2, 1, "", "remember"], [5, 2, 1, "", "remember_field"]], "transactron.lib": [[7, 0, 0, "-", "adapters"], [7, 0, 0, "-", "allocators"], [7, 0, 0, "-", "buttons"], [7, 0, 0, "-", "connectors"], [7, 0, 0, "-", "dependencies"], [7, 0, 0, "-", "fifo"], [7, 0, 0, "-", "logging"], [7, 0, 0, "-", "metrics"], [7, 0, 0, "-", "reqres"], [7, 0, 0, "-", "simultaneous"], [7, 0, 0, "-", "storage"], [7, 0, 0, "-", "transformers"]], "transactron.lib.adapters": [[7, 1, 1, "", "Adapter"], [7, 1, 1, "", "AdapterBase"], [7, 1, 1, "", "AdapterTrans"]], "transactron.lib.adapters.Adapter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "set"]], "transactron.lib.adapters.AdapterBase": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "data_in"], [7, 5, 1, "", "data_out"], [7, 2, 1, "", "debug_signals"], [7, 5, 1, "", "done"], [7, 5, 1, "", "en"]], "transactron.lib.adapters.AdapterTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.allocators": [[7, 1, 1, "", "PriorityEncoderAllocator"]], "transactron.lib.allocators.PriorityEncoderAllocator": [[7, 2, 1, "", "__init__"]], "transactron.lib.buttons": [[7, 1, 1, "", "ClickIn"], [7, 1, 1, "", "ClickOut"]], "transactron.lib.buttons.ClickIn": [[7, 2, 1, "", "__init__"]], "transactron.lib.buttons.ClickOut": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors": [[7, 1, 1, "", "Connect"], [7, 1, 1, "", "ConnectTrans"], [7, 1, 1, "", "FIFO"], [7, 1, 1, "", "Forwarder"], [7, 1, 1, "", "ManyToOneConnectTrans"], [7, 1, 1, "", "Pipe"], [7, 1, 1, "", "StableSelectingNetwork"]], "transactron.lib.connectors.Connect": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.ConnectTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.FIFO": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.Forwarder": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.ManyToOneConnectTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.Pipe": [[7, 2, 1, "", "__init__"]], "transactron.lib.connectors.StableSelectingNetwork": [[7, 2, 1, "", "__init__"]], "transactron.lib.dependencies": [[7, 1, 1, "", "DependencyKey"], [7, 1, 1, "", "DependencyManager"], [7, 1, 1, "", "ListKey"], [7, 1, 1, "", "SimpleKey"], [7, 1, 1, "", "UnifierKey"]], "transactron.lib.dependencies.DependencyKey": [[7, 5, 1, "", "cache"], [7, 2, 1, "", "combine"], [7, 5, 1, "", "empty_valid"], [7, 5, 1, "", "lock_on_get"]], "transactron.lib.dependencies.DependencyManager": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add_dependency"], [7, 2, 1, "", "dependency_provided"], [7, 2, 1, "", "get_dependency"], [7, 2, 1, "", "get_optional_dependency"]], "transactron.lib.dependencies.ListKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "empty_valid"]], "transactron.lib.dependencies.SimpleKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "default_value"]], "transactron.lib.dependencies.UnifierKey": [[7, 2, 1, "", "combine"], [7, 5, 1, "", "unifier"]], "transactron.lib.fifo": [[7, 1, 1, "", "BasicFifo"], [7, 1, 1, "", "Semaphore"]], "transactron.lib.fifo.BasicFifo": [[7, 2, 1, "", "__init__"]], "transactron.lib.fifo.Semaphore": [[7, 2, 1, "", "__init__"]], "transactron.lib.logging": [[7, 1, 1, "", "HardwareLogger"], [7, 1, 1, "", "LogKey"], [7, 1, 1, "", "LogRecord"], [7, 1, 1, "", "LogRecordInfo"], [7, 4, 1, "", "get_log_records"], [7, 4, 1, "", "get_trigger_bit"]], "transactron.lib.logging.HardwareLogger": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "assertion"], [7, 2, 1, "", "debug"], [7, 2, 1, "", "error"], [7, 2, 1, "", "info"], [7, 2, 1, "", "log"], [7, 2, 1, "", "warning"]], "transactron.lib.logging.LogKey": [[7, 2, 1, "", "__init__"]], "transactron.lib.logging.LogRecord": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "fields"], [7, 5, 1, "", "trigger"]], "transactron.lib.logging.LogRecordInfo": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "format"], [7, 5, 1, "", "format_str"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "level"], [7, 5, 1, "", "location"], [7, 5, 1, "", "logger_name"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"]], "transactron.lib.metrics": [[7, 1, 1, "", "FIFOLatencyMeasurer"], [7, 1, 1, "", "HardwareMetricsManager"], [7, 1, 1, "", "HwCounter"], [7, 1, 1, "", "HwExpHistogram"], [7, 1, 1, "", "HwMetric"], [7, 1, 1, "", "HwMetricsEnabledKey"], [7, 1, 1, "", "MetricModel"], [7, 1, 1, "", "MetricRegisterModel"], [7, 1, 1, "", "TaggedCounter"], [7, 1, 1, "", "TaggedLatencyMeasurer"]], "transactron.lib.metrics.FIFOLatencyMeasurer": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "metrics_enabled"], [7, 2, 1, "", "start"], [7, 2, 1, "", "stop"]], "transactron.lib.metrics.HardwareMetricsManager": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "debug_signals"], [7, 2, 1, "", "get_metrics"], [7, 2, 1, "", "get_register_value"]], "transactron.lib.metrics.HwCounter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "incr"]], "transactron.lib.metrics.HwExpHistogram": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add"]], "transactron.lib.metrics.HwMetric": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "add_registers"], [7, 2, 1, "", "metrics_enabled"]], "transactron.lib.metrics.HwMetricsEnabledKey": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "default_value"], [7, 5, 1, "", "empty_valid"], [7, 5, 1, "", "lock_on_get"]], "transactron.lib.metrics.MetricModel": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "description"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "fully_qualified_name"], [7, 5, 1, "", "regs"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"]], "transactron.lib.metrics.MetricRegisterModel": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "description"], [7, 2, 1, "", "from_dict"], [7, 2, 1, "", "from_json"], [7, 5, 1, "", "name"], [7, 2, 1, "", "schema"], [7, 2, 1, "", "to_dict"], [7, 2, 1, "", "to_json"], [7, 5, 1, "", "width"]], "transactron.lib.metrics.TaggedCounter": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "incr"]], "transactron.lib.metrics.TaggedLatencyMeasurer": [[7, 2, 1, "", "__init__"], [7, 2, 1, "", "metrics_enabled"], [7, 2, 1, "", "start"], [7, 2, 1, "", "stop"]], "transactron.lib.reqres": [[7, 1, 1, "", "ArgumentsToResultsZipper"], [7, 1, 1, "", "Serializer"]], "transactron.lib.reqres.ArgumentsToResultsZipper": [[7, 2, 1, "", "__init__"]], "transactron.lib.reqres.Serializer": [[7, 2, 1, "", "__init__"]], "transactron.lib.simultaneous": [[7, 4, 1, "", "condition"]], "transactron.lib.storage": [[7, 1, 1, "", "AsyncMemoryBank"], [7, 1, 1, "", "ContentAddressableMemory"], [7, 1, 1, "", "MemoryBank"]], "transactron.lib.storage.AsyncMemoryBank": [[7, 2, 1, "", "__init__"]], "transactron.lib.storage.ContentAddressableMemory": [[7, 2, 1, "", "__init__"]], "transactron.lib.storage.MemoryBank": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers": [[7, 1, 1, "", "CatTrans"], [7, 1, 1, "", "Collector"], [7, 1, 1, "", "ConnectAndMapTrans"], [7, 1, 1, "", "MethodFilter"], [7, 1, 1, "", "MethodMap"], [7, 1, 1, "", "MethodProduct"], [7, 1, 1, "", "MethodTryProduct"], [7, 1, 1, "", "Transformer"], [7, 1, 1, "", "Unifier"]], "transactron.lib.transformers.CatTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.Collector": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.ConnectAndMapTrans": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodFilter": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodMap": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodProduct": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.MethodTryProduct": [[7, 2, 1, "", "__init__"]], "transactron.lib.transformers.Transformer": [[7, 5, 1, "", "method"], [7, 2, 1, "", "use"]], "transactron.lib.transformers.Unifier": [[7, 2, 1, "", "__init__"], [7, 5, 1, "", "method"]], "transactron.profiler": [[5, 1, 1, "", "MethodSamples"], [5, 1, 1, "", "Profile"], [5, 1, 1, "", "ProfileData"], [5, 1, 1, "", "ProfileInfo"], [5, 1, 1, "", "ProfileSamples"], [5, 1, 1, "", "RunStat"], [5, 1, 1, "", "RunStatNode"], [5, 1, 1, "", "TransactionSamples"]], "transactron.profiler.MethodSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "run"]], "transactron.profiler.Profile": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "analyze_methods"], [5, 2, 1, "", "analyze_transactions"], [5, 5, 1, "", "cycles"], [5, 2, 1, "", "decode"], [5, 2, 1, "", "encode"], [5, 2, 1, "", "from_dict"], [5, 2, 1, "", "from_json"], [5, 2, 1, "", "schema"], [5, 2, 1, "", "to_dict"], [5, 2, 1, "", "to_json"], [5, 5, 1, "", "transactions_and_methods"]], "transactron.profiler.ProfileData": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "make"], [5, 5, 1, "", "method_parents"], [5, 5, 1, "", "transaction_conflicts"], [5, 5, 1, "", "transactions_and_methods"], [5, 5, 1, "", "transactions_by_method"]], "transactron.profiler.ProfileInfo": [[5, 2, 1, "", "__init__"], [5, 2, 1, "", "from_dict"], [5, 2, 1, "", "from_json"], [5, 5, 1, "", "is_transaction"], [5, 5, 1, "", "name"], [5, 2, 1, "", "schema"], [5, 5, 1, "", "src_loc"], [5, 2, 1, "", "to_dict"], [5, 2, 1, "", "to_json"]], "transactron.profiler.ProfileSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "methods"], [5, 5, 1, "", "transactions"]], "transactron.profiler.RunStat": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "locked"], [5, 2, 1, "", "make"], [5, 5, 1, "", "name"], [5, 5, 1, "", "run"], [5, 5, 1, "", "src_loc"]], "transactron.profiler.RunStatNode": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "callers"], [5, 2, 1, "", "make"], [5, 5, 1, "", "stat"]], "transactron.profiler.TransactionSamples": [[5, 2, 1, "", "__init__"], [5, 5, 1, "", "grant"], [5, 5, 1, "", "request"], [5, 5, 1, "", "runnable"]], "transactron.testing": [[8, 0, 0, "-", "functions"], [8, 0, 0, "-", "infrastructure"], [8, 0, 0, "-", "input_generation"], [8, 0, 0, "-", "logging"], [8, 0, 0, "-", "method_mock"], [8, 0, 0, "-", "profiler"], [8, 0, 0, "-", "testbenchio"], [8, 0, 0, "-", "tick_count"]], "transactron.testing.functions": [[8, 4, 1, "", "data_const_to_dict"]], "transactron.testing.infrastructure": [[8, 1, 1, "", "PysimSimulator"], [8, 1, 1, "", "SimpleTestCircuit"], [8, 1, 1, "", "TestCaseWithSimulator"]], "transactron.testing.infrastructure.PysimSimulator": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "run"]], "transactron.testing.infrastructure.SimpleTestCircuit": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "debug_signals"]], "transactron.testing.infrastructure.TestCaseWithSimulator": [[8, 2, 1, "", "add_mock"], [8, 5, 1, "", "dependency_manager"], [8, 2, 1, "", "fixture_initialize_testing_env"], [8, 2, 1, "", "random_wait"], [8, 2, 1, "", "random_wait_geom"], [8, 2, 1, "", "reinitialize_fixtures"], [8, 2, 1, "", "run_simulation"], [8, 2, 1, "", "tick"]], "transactron.testing.input_generation": [[8, 1, 1, "", "OpNOP"], [8, 4, 1, "", "generate_based_on_layout"], [8, 4, 1, "", "generate_method_input"], [8, 4, 1, "", "generate_nops_in_list"], [8, 4, 1, "", "generate_process_input"], [8, 4, 1, "", "generate_shrinkable_list"], [8, 4, 1, "", "insert_nops"]], "transactron.testing.logging": [[8, 4, 1, "", "make_logging_process"], [8, 4, 1, "", "parse_logging_level"]], "transactron.testing.method_mock": [[8, 1, 1, "", "MethodMock"], [8, 4, 1, "", "def_method_mock"]], "transactron.testing.method_mock.MethodMock": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "effect"], [8, 2, 1, "", "effect_process"], [8, 2, 1, "", "output_process"], [8, 2, 1, "", "validate_arguments_process"]], "transactron.testing.profiler": [[8, 4, 1, "", "profiler_process"]], "transactron.testing.testbenchio": [[8, 1, 1, "", "CallTrigger"], [8, 1, 1, "", "TestbenchIO"]], "transactron.testing.testbenchio.CallTrigger": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "call"], [8, 2, 1, "", "sample"], [8, 2, 1, "", "until_done"]], "transactron.testing.testbenchio.TestbenchIO": [[8, 2, 1, "", "__init__"], [8, 2, 1, "", "call"], [8, 2, 1, "", "call_do"], [8, 2, 1, "", "call_init"], [8, 2, 1, "", "call_result"], [8, 2, 1, "", "call_try"], [8, 2, 1, "", "disable"], [8, 3, 1, "", "done"], [8, 2, 1, "", "enable"], [8, 2, 1, "", "get_call_result"], [8, 2, 1, "", "get_done"], [8, 2, 1, "", "get_outputs"], [8, 3, 1, "", "outputs"], [8, 2, 1, "", "sample_outputs"], [8, 2, 1, "", "sample_outputs_done"], [8, 2, 1, "", "sample_outputs_until_done"], [8, 2, 1, "", "set_enable"], [8, 2, 1, "", "set_inputs"]], "transactron.testing.tick_count": [[8, 1, 1, "", "TicksKey"], [8, 4, 1, "", "make_tick_count_process"]], "transactron.testing.tick_count.TicksKey": [[8, 2, 1, "", "__init__"]], "transactron.tracing": [[5, 1, 1, "", "TracingEnabler"], [5, 1, 1, "", "TracingFragment"], [5, 1, 1, "", "TracingFragmentTransformer"], [5, 1, 1, "", "TracingInstance"]], "transactron.tracing.TracingFragment": [[5, 2, 1, "", "get"], [5, 2, 1, "", "prepare"], [5, 5, 1, "", "subfragments"]], "transactron.tracing.TracingFragmentTransformer": [[5, 2, 1, "", "on_fragment"]], "transactron.tracing.TracingInstance": [[5, 2, 1, "", "get"]], "transactron.utils": [[10, 0, 0, "-", "amaranth_ext"], [9, 0, 0, "-", "assign"], [9, 0, 0, "-", "data_repr"], [9, 0, 0, "-", "debug_signals"], [9, 0, 0, "-", "depcache"], [9, 0, 0, "-", "dependencies"], [9, 0, 0, "-", "gen"], [9, 0, 0, "-", "idgen"], [9, 0, 0, "-", "transactron_helpers"]], "transactron.utils.amaranth_ext": [[10, 0, 0, "-", "coding"], [10, 0, 0, "-", "elaboratables"], [10, 0, 0, "-", "functions"]], "transactron.utils.amaranth_ext.coding": [[10, 1, 1, "", "Decoder"], [10, 1, 1, "", "Encoder"], [10, 1, 1, "", "GrayDecoder"], [10, 1, 1, "", "GrayEncoder"], [10, 1, 1, "", "PriorityDecoder"], [10, 1, 1, "", "PriorityEncoder"]], "transactron.utils.amaranth_ext.coding.Decoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.Encoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.GrayDecoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.GrayEncoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.coding.PriorityEncoder": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables": [[10, 1, 1, "", "ModuleConnector"], [10, 1, 1, "", "MultiPriorityEncoder"], [10, 4, 1, "", "OneHotSwitch"], [10, 4, 1, "", "OneHotSwitchDynamic"], [10, 1, 1, "", "RingMultiPriorityEncoder"], [10, 1, 1, "", "RoundRobin"], [10, 1, 1, "", "Scheduler"]], "transactron.utils.amaranth_ext.elaboratables.ModuleConnector": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables.MultiPriorityEncoder": [[10, 2, 1, "", "__init__"], [10, 2, 1, "", "build_tree"], [10, 2, 1, "", "create"], [10, 2, 1, "", "create_simple"]], "transactron.utils.amaranth_ext.elaboratables.RingMultiPriorityEncoder": [[10, 2, 1, "", "__init__"], [10, 2, 1, "", "create"], [10, 2, 1, "", "create_simple"]], "transactron.utils.amaranth_ext.elaboratables.RoundRobin": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.elaboratables.Scheduler": [[10, 2, 1, "", "__init__"]], "transactron.utils.amaranth_ext.functions": [[10, 4, 1, "", "count_leading_zeros"], [10, 4, 1, "", "count_trailing_zeros"], [10, 4, 1, "", "flatten_signals"], [10, 4, 1, "", "mod_incr"], [10, 4, 1, "", "popcount"]], "transactron.utils.assign": [[9, 1, 1, "", "AssignType"], [9, 4, 1, "", "assign"]], "transactron.utils.assign.AssignType": [[9, 5, 1, "", "ALL"], [9, 5, 1, "", "COMMON"], [9, 5, 1, "", "LHS"], [9, 5, 1, "", "RHS"]], "transactron.utils.data_repr": [[9, 4, 1, "", "align_down_to_power_of_two"], [9, 4, 1, "", "align_to_power_of_two"], [9, 4, 1, "", "average_dict_of_lists"], [9, 4, 1, "", "bits_from_int"], [9, 4, 1, "", "data_layout"], [9, 4, 1, "", "int_to_signed"], [9, 4, 1, "", "layout_subset"], [9, 4, 1, "", "make_hashable"], [9, 4, 1, "", "neg"], [9, 4, 1, "", "signed_to_int"]], "transactron.utils.debug_signals": [[9, 4, 1, "", "auto_debug_signals"]], "transactron.utils.depcache": [[9, 1, 1, "", "DependentCache"]], "transactron.utils.depcache.DependentCache": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "get"]], "transactron.utils.dependencies": [[9, 1, 1, "", "DependencyContext"], [9, 1, 1, "", "DependencyKey"], [9, 1, 1, "", "DependencyManager"], [9, 1, 1, "", "ListKey"], [9, 1, 1, "", "SimpleKey"]], "transactron.utils.dependencies.DependencyContext": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "get"], [9, 5, 1, "", "stack"]], "transactron.utils.dependencies.DependencyKey": [[9, 5, 1, "", "cache"], [9, 2, 1, "", "combine"], [9, 5, 1, "", "empty_valid"], [9, 5, 1, "", "lock_on_get"]], "transactron.utils.dependencies.DependencyManager": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "add_dependency"], [9, 2, 1, "", "dependency_provided"], [9, 2, 1, "", "get_dependency"], [9, 2, 1, "", "get_optional_dependency"]], "transactron.utils.dependencies.ListKey": [[9, 2, 1, "", "combine"], [9, 5, 1, "", "empty_valid"]], "transactron.utils.dependencies.SimpleKey": [[9, 2, 1, "", "combine"], [9, 5, 1, "", "default_value"]], "transactron.utils.gen": [[9, 1, 1, "", "GeneratedLog"], [9, 1, 1, "", "GenerationInfo"], [9, 1, 1, "", "MetricLocation"], [9, 4, 1, "", "generate_verilog"]], "transactron.utils.gen.GeneratedLog": [[9, 2, 1, "", "__init__"], [9, 5, 1, "", "fields_location"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"], [9, 5, 1, "", "trigger_location"]], "transactron.utils.gen.GenerationInfo": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "decode"], [9, 2, 1, "", "encode"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 5, 1, "", "logs"], [9, 5, 1, "", "method_signals_location"], [9, 5, 1, "", "metrics_location"], [9, 5, 1, "", "profile_data"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"], [9, 5, 1, "", "transaction_signals_location"]], "transactron.utils.gen.MetricLocation": [[9, 2, 1, "", "__init__"], [9, 2, 1, "", "from_dict"], [9, 2, 1, "", "from_json"], [9, 5, 1, "", "regs"], [9, 2, 1, "", "schema"], [9, 2, 1, "", "to_dict"], [9, 2, 1, "", "to_json"]], "transactron.utils.idgen": [[9, 1, 1, "", "IdGenerator"]], "transactron.utils.idgen.IdGenerator": [[9, 2, 1, "", "__init__"]], "transactron.utils.transactron_helpers": [[9, 4, 1, "", "async_mock_def_helper"], [9, 4, 1, "", "def_helper"], [9, 4, 1, "", "extend_layout"], [9, 4, 1, "", "from_method_layout"], [9, 4, 1, "", "get_caller_class_name"], [9, 4, 1, "", "get_src_loc"], [9, 4, 1, "", "longest_common_prefix"], [9, 4, 1, "", "make_layout"], [9, 4, 1, "", "method_def_helper"], [9, 4, 1, "", "mock_def_helper"], [9, 4, 1, "", "silence_mustuse"]]}, "objtypes": {"0": "py:module", "1": "py:class", "2": "py:method", "3": "py:property", "4": "py:function", "5": "py:attribute"}, "objnames": {"0": ["py", "module", "Python module"], "1": ["py", "class", "Python class"], "2": ["py", "method", "Python method"], "3": ["py", "property", "Python property"], "4": ["py", "function", "Python function"], "5": ["py", "attribute", "Python attribute"]}, "titleterms": {"api": 0, "transactron": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10], "develop": 1, "environ": 1, "set": 1, "up": 1, "run": 1, "test": [1, 8], "us": 1, "script": 1, "lint": 1, "sh": 1, "build_doc": 1, "tprof": 1, "py": 1, "document": 4, "introduct": 4, "basic": 4, "usag": 4, "implement": 4, "transact": [4, 6], "method": [4, 6], "argument": 4, "pass": 4, "convent": 4, "definit": 4, "return": 4, "valu": 4, "readi": 4, "signal": 4, "The": 4, "librari": 4, "advanc": 4, "concept": 4, "special": 4, "combin": 4, "domain": 4, "schedul": [4, 6], "order": 4, "conflict": 4, "nest": 4, "packag": [5, 6, 7, 8, 9, 10], "subpackag": [5, 9], "submodul": [5, 6, 7, 8, 9, 10], "graph": 5, "modul": [5, 6, 7, 8, 9, 10], "profil": [5, 8], "trace": 5, "content": [5, 6, 7, 8, 9, 10], "core": 6, "kei": 6, "manag": 6, "sugar": 6, "tmodul": 6, "transaction_bas": 6, "lib": 7, "adapt": 7, "alloc": 7, "button": 7, "connector": 7, "depend": [7, 9], "fifo": 7, "log": [7, 8], "metric": 7, "reqr": 7, "simultan": 7, "storag": 7, "transform": 7, "function": [8, 10], "infrastructur": 8, "input_gener": 8, "method_mock": 8, "testbenchio": 8, "tick_count": 8, "util": [9, 10], "assign": 9, "data_repr": 9, "debug_sign": 9, "depcach": 9, "gen": 9, "idgen": 9, "transactron_help": 9, "amaranth_ext": 10, "code": 10, "elaborat": 10}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 6, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinx.ext.todo": 2, "sphinx": 56}})
\ No newline at end of file
diff --git a/transactions.html b/transactions.html
index 913b00e..45b027c 100644
--- a/transactions.html
+++ b/transactions.html
@@ -400,7 +400,7 @@ <h3>Transaction and method nesting<a class="headerlink" href="#transaction-and-m
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.core.html b/transactron.core.html
index 8a4aadb..f4a1c66 100644
--- a/transactron.core.html
+++ b/transactron.core.html
@@ -389,6 +389,32 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
 </dd></dl>
 
+<dl class="py class">
+<dt class="sig sig-object py" id="transactron.core.method.Methods">
+<em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">transactron.core.method.</span></span><span class="sig-name descname"><span class="pre">Methods</span></span><a class="headerlink" href="#transactron.core.method.Methods" title="Permalink to this definition"></a></dt>
+<dd><p>Bases: <a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Sequence" title="(in Python v3.13)"><code class="xref py py-class docutils literal notranslate"><span class="pre">Sequence</span></code></a>[<a class="reference internal" href="#transactron.core.method.Method" title="transactron.core.method.Method"><code class="xref py py-class docutils literal notranslate"><span class="pre">Method</span></code></a>]</p>
+<dl class="py method">
+<dt class="sig sig-object py" id="transactron.core.method.Methods.__init__">
+<span class="sig-name descname"><span class="pre">__init__</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">count</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><a class="reference external" href="https://docs.python.org/3/library/functions.html#int" title="(in Python v3.13)"><span class="pre">int</span></a></span></em>, <em class="sig-param"><span class="o"><span class="pre">**</span></span><span class="n"><span class="pre">kwargs</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#transactron.core.method.Methods.__init__" title="Permalink to this definition"></a></dt>
+<dd></dd></dl>
+
+<dl class="py method">
+<dt class="sig sig-object py" id="transactron.core.method.Methods.debug_signals">
+<span class="sig-name descname"><span class="pre">debug_signals</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><span class="pre">amaranth.hdl._ast.Signal</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><span class="pre">amaranth.hdl._rec.Record</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://amaranth-lang.org/docs/amaranth/latest/stdlib/data.html#amaranth.lib.data.View" title="(in Amaranth language &amp; toolchain v0.6.0.dev72)"><span class="pre">amaranth.lib.data.View</span></a><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Iterable" title="(in Python v3.13)"><span class="pre">collections.abc.Iterable</span></a><span class="p"><span class="pre">[</span></span><span class="pre">amaranth.hdl._ast.Signal</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><span class="pre">amaranth.hdl._rec.Record</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://amaranth-lang.org/docs/amaranth/latest/stdlib/data.html#amaranth.lib.data.View" title="(in Amaranth language &amp; toolchain v0.6.0.dev72)"><span class="pre">amaranth.lib.data.View</span></a><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Iterable" title="(in Python v3.13)"><span class="pre">collections.abc.Iterable</span></a><span class="p"><span class="pre">[</span></span><span class="pre">SignalBundle</span><span class="p"><span class="pre">]</span></span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Mapping" title="(in Python v3.13)"><span class="pre">collections.abc.Mapping</span></a><span class="p"><span class="pre">[</span></span><a class="reference external" href="https://docs.python.org/3/library/stdtypes.html#str" title="(in Python v3.13)"><span class="pre">str</span></a><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">SignalBundle</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Mapping" title="(in Python v3.13)"><span class="pre">collections.abc.Mapping</span></a><span class="p"><span class="pre">[</span></span><a class="reference external" href="https://docs.python.org/3/library/stdtypes.html#str" title="(in Python v3.13)"><span class="pre">str</span></a><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">amaranth.hdl._ast.Signal</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><span class="pre">amaranth.hdl._rec.Record</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://amaranth-lang.org/docs/amaranth/latest/stdlib/data.html#amaranth.lib.data.View" title="(in Amaranth language &amp; toolchain v0.6.0.dev72)"><span class="pre">amaranth.lib.data.View</span></a><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Iterable" title="(in Python v3.13)"><span class="pre">collections.abc.Iterable</span></a><span class="p"><span class="pre">[</span></span><span class="pre">SignalBundle</span><span class="p"><span class="pre">]</span></span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><a class="reference external" href="https://docs.python.org/3/library/collections.abc.html#collections.abc.Mapping" title="(in Python v3.13)"><span class="pre">collections.abc.Mapping</span></a><span class="p"><span class="pre">[</span></span><a class="reference external" href="https://docs.python.org/3/library/stdtypes.html#str" title="(in Python v3.13)"><span class="pre">str</span></a><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">SignalBundle</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span></span></span><a class="headerlink" href="#transactron.core.method.Methods.debug_signals" title="Permalink to this definition"></a></dt>
+<dd></dd></dl>
+
+<dl class="py property">
+<dt class="sig sig-object py" id="transactron.core.method.Methods.layout_in">
+<em class="property"><span class="pre">property</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">layout_in</span></span><a class="headerlink" href="#transactron.core.method.Methods.layout_in" title="Permalink to this definition"></a></dt>
+<dd></dd></dl>
+
+<dl class="py property">
+<dt class="sig sig-object py" id="transactron.core.method.Methods.layout_out">
+<em class="property"><span class="pre">property</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">layout_out</span></span><a class="headerlink" href="#transactron.core.method.Methods.layout_out" title="Permalink to this definition"></a></dt>
+<dd></dd></dl>
+
+</dd></dl>
+
 </section>
 <section id="module-transactron.core.schedulers">
 <span id="transactron-core-schedulers-module"></span><h2>transactron.core.schedulers module<a class="headerlink" href="#module-transactron.core.schedulers" title="Permalink to this heading"></a></h2>
@@ -951,7 +977,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.html b/transactron.html
index 7e66ece..bc314f6 100644
--- a/transactron.html
+++ b/transactron.html
@@ -745,7 +745,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.lib.html b/transactron.lib.html
index 37d5ee0..39186d5 100644
--- a/transactron.lib.html
+++ b/transactron.lib.html
@@ -214,11 +214,10 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 <dl class="field-list simple">
 <dt class="field-odd">Attributes</dt>
 <dd class="field-odd"><dl class="simple">
-<dt><strong>allocs</strong><span class="classifier">list[Method]</span></dt><dd><p>List of <cite>ways</cite> methods which allocate a fresh identifier. If there is
-too little free identifiers, some or all of the methods are disabled.</p>
+<dt><strong>alloc</strong><span class="classifier">Methods</span></dt><dd><p>Methods which allocate a fresh identifier. If there is too little free
+identifiers, some or all of the methods are disabled.</p>
 </dd>
-<dt><strong>frees</strong><span class="classifier">list[Method]</span></dt><dd><p>List with <cite>ways</cite> methods. Each of them allows to deallocate
-a single identifier in one cycle.</p>
+<dt><strong>free</strong><span class="classifier">Methods</span></dt><dd><p>Methods which deallocate a single identifier in one cycle.</p>
 </dd>
 </dl>
 </dd>
@@ -231,8 +230,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 <dd class="field-odd"><dl class="simple">
 <dt><strong>entries</strong><span class="classifier">int</span></dt><dd><p>The total number of identifiers available for allocation.</p>
 </dd>
-<dt><strong>ways</strong><span class="classifier">int</span></dt><dd><p>The amount of allocations or deallocations possible in a single
-clock cycle.</p>
+<dt><strong>ways</strong><span class="classifier">int</span></dt><dd><p>The number of <cite>alloc</cite> and <cite>free</cite> methods.</p>
 </dd>
 <dt><strong>init</strong><span class="classifier">int</span></dt><dd><p>Bit mask of identifiers which should be treated as free on reset.
 By default, every identifier is free on reset.</p>
@@ -1725,9 +1723,9 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 <dl class="field-list simple">
 <dt class="field-odd">Attributes</dt>
 <dd class="field-odd"><dl class="simple">
-<dt><strong>serialize_in: list[Method]</strong></dt><dd><p>List of request methods. Data layouts are the same as for <cite>serialized_req_method</cite>.</p>
+<dt><strong>serialize_in: Methods</strong></dt><dd><p>Request methods. Data layouts are the same as for <cite>serialized_req_method</cite>.</p>
 </dd>
-<dt><strong>serialize_out: list[Method]</strong></dt><dd><p>List of response methods. Data layouts are the same as for <cite>serialized_resp_method</cite>.
+<dt><strong>serialize_out: Methods</strong></dt><dd><p>Response methods. Data layouts are the same as for <cite>serialized_resp_method</cite>.
 <cite>i</cite>-th response method provides responses for requests from <cite>i</cite>-th <cite>serialize_in</cite> method.</p>
 </dd>
 </dl>
@@ -1818,17 +1816,13 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 <dl class="field-list simple">
 <dt class="field-odd">Attributes</dt>
 <dd class="field-odd"><dl class="simple">
-<dt><strong>reads: list[Method]</strong></dt><dd><p>The read methods, one for each read port. Accepts an <cite>addr</cite> from which data should be read.
+<dt><strong>read: Methods</strong></dt><dd><p>The read methods, one for each read port. Accepts an <cite>addr</cite> from which data should be read.
 The read response method. Return <cite>data_layout</cite> View which was saved on <cite>addr</cite> given by last
 <cite>write</cite> method call.</p>
 </dd>
-<dt><strong>writes: list[Method]</strong></dt><dd><p>The write methods, one for each write port. Accepts write address <cite>addr</cite>, <cite>data</cite> in form of <cite>data_layout</cite>
+<dt><strong>write: Methods</strong></dt><dd><p>The write methods, one for each write port. Accepts write address <cite>addr</cite>, <cite>data</cite> in form of <cite>data_layout</cite>
 and optionally <cite>mask</cite> if <cite>granularity</cite> is not None. <cite>1</cite> in mask means that appropriate part should be written.</p>
 </dd>
-<dt><strong>read: Method</strong></dt><dd><p>The only method from <cite>reads</cite>, if the memory has a single read port.</p>
-</dd>
-<dt><strong>write: Method</strong></dt><dd><p>The only method from <cite>writes</cite>, if the memory has a single write port.</p>
-</dd>
 </dl>
 </dd>
 </dl>
@@ -1918,25 +1912,16 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 <dl class="field-list simple">
 <dt class="field-odd">Attributes</dt>
 <dd class="field-odd"><dl class="simple">
-<dt><strong>read_reqs: list[Method]</strong></dt><dd><p>The read request methods, one for each read port. Accepts an <cite>addr</cite> from which data should be read.
+<dt><strong>read_req: Methods</strong></dt><dd><p>The read request methods, one for each read port. Accepts an <cite>addr</cite> from which data should be read.
 Only ready if there is there is a place to buffer response. After calling <cite>read_reqs[i]</cite>, the result
 will be available via the method <cite>read_resps[i]</cite>.</p>
 </dd>
-<dt><strong>read_resps: list[Method]</strong></dt><dd><p>The read response methods, one for each read port. Return <cite>data_layout</cite> View which was saved on <cite>addr</cite> given
+<dt><strong>read_resp: Methods</strong></dt><dd><p>The read response methods, one for each read port. Return <cite>data_layout</cite> View which was saved on <cite>addr</cite> given
 by last corresponding <cite>read_reqs</cite> method call. Only ready after corresponding <cite>read_reqs</cite> call.</p>
 </dd>
-<dt><strong>writes: list[Method]</strong></dt><dd><p>The write methods, one for each write port. Accepts write address <cite>addr</cite>, <cite>data</cite> in form of <cite>data_layout</cite>
+<dt><strong>write: Methods</strong></dt><dd><p>The write methods, one for each write port. Accepts write address <cite>addr</cite>, <cite>data</cite> in form of <cite>data_layout</cite>
 and optionally <cite>mask</cite> if <cite>granularity</cite> is not None. <cite>1</cite> in mask means that appropriate part should be written.</p>
 </dd>
-<dt><strong>read_req: Method</strong></dt><dd><p>The only method from <cite>read_reqs</cite>, if the memory has a single read port. If it has more ports, this method
-is unavailable and <cite>read_reqs</cite> should be used instead.</p>
-</dd>
-<dt><strong>read_resp: Method</strong></dt><dd><p>The only method from <cite>read_resps</cite>, if the memory has a single read port. If it has more ports, this method
-is unavailable and <cite>read_resps</cite> should be used instead.</p>
-</dd>
-<dt><strong>write: Method</strong></dt><dd><p>The only method from <cite>writes</cite>, if the memory has a single write port. If it has more ports, this method
-is unavailable and <cite>writes</cite> should be used instead.</p>
-</dd>
 </dl>
 </dd>
 </dl>
@@ -2310,7 +2295,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.testing.html b/transactron.testing.html
index 4d8bb29..f5ea8d1 100644
--- a/transactron.testing.html
+++ b/transactron.testing.html
@@ -522,7 +522,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.utils.amaranth_ext.html b/transactron.utils.amaranth_ext.html
index 0c1306f..89acc43 100644
--- a/transactron.utils.amaranth_ext.html
+++ b/transactron.utils.amaranth_ext.html
@@ -633,7 +633,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>
 
diff --git a/transactron.utils.html b/transactron.utils.html
index b2d62a8..3ccdb03 100644
--- a/transactron.utils.html
+++ b/transactron.utils.html
@@ -834,7 +834,7 @@ <h2>Submodules<a class="headerlink" href="#submodules" title="Permalink to this
 
   <div role="contentinfo">
     <p>&#169; Copyright Kuźnia Rdzeni, 2024.
-      <span class="lastupdated">Last updated on 14:23 2024-11-25.
+      <span class="lastupdated">Last updated on 14:27 2024-11-25.
       </span></p>
   </div>