Browsing by Author He, Jifeng
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1998 | Formal reasoning with Verilog HDL | Pace, Gordon J.; He, Jifeng |
| Issue Date | Title | Author(s) |
|---|---|---|
| 1998 | Formal reasoning with Verilog HDL | Pace, Gordon J.; He, Jifeng |