add rpmos

This commit is contained in:
Akihiko Odaki 2025-09-01 20:06:55 +09:00
parent a5f80e990f
commit 4afd4f64b9
3 changed files with 5 additions and 0 deletions

View File

@ -118,6 +118,7 @@ data NInputGateKW
| GateNand
| GateOr
| GateNor
| GateRpmos
| GateXor
| GateXnor
deriving Eq
@ -128,6 +129,7 @@ instance Show NInputGateKW where
show GateNand = "nand"
show GateOr = "or"
show GateNor = "nor"
show GateRpmos = "rpmos"
show GateXor = "xor"
show GateXnor = "xnor"

View File

@ -877,6 +877,7 @@ NInputGateKW :: { NInputGateKW }
| "nand" { GateNand }
| "or" { GateOr }
| "nor" { GateNor }
| "rpmos" { GateRpmos }
| "xor" { GateXor }
| "xnor" { GateXnor }
NOutputGateKW :: { NOutputGateKW }

View File

@ -7,12 +7,14 @@ module top;
wire output_not;
wire output_buf_delay;
wire output_bufif0_delay;
wire output_rpmos;
and (output_and, input_a, input_b);
and #1 (output_and_delay, input_a, input_b);
not (output_not, input_a);
buf #2 foo_name (output_buf_delay, input_a);
bufif0 (output_bufif0_delay, input_a, input_b);
rpmos (output_rpmos, input_a, input_b);
wire output_nand, output_or, output_nor, output_xor, output_xnor;
nand (output_nand, input_a, input_b);