diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 15:24:58 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 15:24:58 +0000 |
commit | 8f6bc3b0b036c9ede3bb9bb69763316449b05be4 (patch) | |
tree | e13fb2b3532969599490ee85b7deab58822fbf09 /src/SoftwarePipelining | |
parent | 6034a8b96babe2fb4a3a4ed3802326120ffb7ba0 (diff) | |
download | vericert-8f6bc3b0b036c9ede3bb9bb69763316449b05be4.tar.gz vericert-8f6bc3b0b036c9ede3bb9bb69763316449b05be4.zip |
Define RTLPar semantics
These semantics are similar to the RTLBlock semantics, except that more
states are needed to reason about the parallel execution in multiple
cycles.
Diffstat (limited to 'src/SoftwarePipelining')
0 files changed, 0 insertions, 0 deletions