MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Huibiao Zhu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A DC-based Semantics for Verilog
by Huibiao Zhu, He Jifeng — 2000 — Published in the proceedings of the ICS2000, Yulin Feng, David Notkin and Marie-Claude Gaudel (eds
…-based Semantics for Verilog Zhu Huibiao and He Jifeng January 2000 UNU/IIST and UNU/IIST Reports UNU…
Add To MetaCart

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics
by Huibiao Zhu, Jonathan P. Bowen, He Jifeng — 2002 — In Proc. ICFEM 2002: 4th International Conference on Formal Engineering Methods, LNCS 2495
… on Denotational Semantics Zhu Huibiao 1 , Jonathan P. Bowen 1 , and He Jifeng 2⋆ 1 Centre for Applied Formal…
Add To MetaCart

Deriving Operational Semantics from Denotational Semantics for Verilog
by Huibiao Zhu, Jonathan P. Bowen, Jifeng He — 2001 — Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference, IEEE Computer
…Deriving Operational Semantics from Denotational Semantics for Verilog Zhu Huibiao Jonathan P…
Add To MetaCart

From Operational Semantics to Denotational Semantics for Verilog
by Huibiao Zhu, Jonathan P. Bowen, He Jifeng — 2001 — Proc. CHARME 2001: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods
…From Operational Semantics to Denotational Semantics for Verilog Zhu Huibiao 1 , Jonathan P. Bowen…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB