This website requires JavaScript.
Explore
Help
Sign In
riscv
/
OpenFPGA
mirror of
https://github.com/lnis-uofu/OpenFPGA.git
Watch
1
Star
0
Fork
You've already forked OpenFPGA
0
Code
Issues
Projects
Releases
Wiki
Activity
ca2b836128
OpenFPGA
/
yosys
/
manual
/
PRESENTATION_ExSyn
/
opt_01.v
4 lines
78 B
Coq
Raw
Blame
History
module
test
(
input
A
,
B
,
output
Y
)
;
assign
Y
=
A
?
A
?
B
:
1'b1
:
B
;
endmodule
Reference in New Issue
View Git Blame
Copy Permalink