diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-04-22 09:29:59 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-04-23 21:36:59 +0200 |
| commit | aec2475a9d7a2a903d5015840a3320ce2cedf5cd (patch) | |
| tree | 29d563d31a9cbc32b365d2d6b484bbfa6440ea88 | |
| parent | e1d73e03d38e9408cc7bce685645bb170ca5a6b8 (diff) | |
| download | yosys-aec2475a9d7a2a903d5015840a3320ce2cedf5cd.tar.gz yosys-aec2475a9d7a2a903d5015840a3320ce2cedf5cd.tar.bz2 yosys-aec2475a9d7a2a903d5015840a3320ce2cedf5cd.zip | |
Add CellTypes support for $specify2 and $specify3
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -rw-r--r-- | kernel/celltypes.h | 3 | ||||
| -rw-r--r-- | manual/CHAPTER_CellLib.tex | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/kernel/celltypes.h b/kernel/celltypes.h index 0da78c313..f8c73ed83 100644 --- a/kernel/celltypes.h +++ b/kernel/celltypes.h @@ -85,6 +85,7 @@ struct CellTypes setup_internals_eval(); IdString A = "\\A", B = "\\B", EN = "\\EN", Y = "\\Y"; + IdString SRC = "\\SRC", DST = "\\DST", DAT = "\\DAT"; setup_type("$tribuf", {A, EN}, {Y}, true); @@ -99,6 +100,8 @@ struct CellTypes setup_type("$allconst", pool<RTLIL::IdString>(), {Y}, true); setup_type("$allseq", pool<RTLIL::IdString>(), {Y}, true); setup_type("$equiv", {A, B}, {Y}, true); + setup_type("$specify2", {EN, SRC, DST}, pool<RTLIL::IdString>(), true); + setup_type("$specify3", {EN, SRC, DST, DAT}, pool<RTLIL::IdString>(), true); } void setup_internals_eval() diff --git a/manual/CHAPTER_CellLib.tex b/manual/CHAPTER_CellLib.tex index e64919182..96a309552 100644 --- a/manual/CHAPTER_CellLib.tex +++ b/manual/CHAPTER_CellLib.tex @@ -466,6 +466,10 @@ Add information about {\tt \$assert}, {\tt \$assume}, {\tt \$live}, {\tt \$fair} \end{fixme} \begin{fixme} +Add information about {\tt \$specify2} and {\tt \$specify3} cells. +\end{fixme} + +\begin{fixme} Add information about {\tt \$slice} and {\tt \$concat} cells. \end{fixme} |