https://hongcezh.people.ust.hk/2024-09-04T13:30:00+00:00 https://hongcezh.people.ust.hk/talk/mics5510-formal-methods-and-testing-for-electronic-system-verification/2024-09-04T13:30:00+00:00 https://hongcezh.people.ust.hk/event/2024-09-04T13:30:00+00:00 https://hongcezh.people.ust.hk/project/egraph/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/tag/logic-synthesis/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/project/masterrtl/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/project/neuropdr/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/project/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/tag/symbolic-simulation/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/tag/synthesis/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/tags/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/tag/verification/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/project/wasim/2023-08-31T00:00:00+00:00 https://hongcezh.people.ust.hk/talk/mics6000h-logic-design-automation-of-digital-systems/2022-09-07T09:00:00+00:00 https://hongcezh.people.ust.hk/post/yosys-script/2021-09-28T00:00:00+00:00 https://hongcezh.people.ust.hk/post/2021-09-28T00:00:00+00:00 https://hongcezh.people.ust.hk/talk/funh6800a-t1-function-hub-seminar/2021-09-06T18:00:00+00:00 https://hongcezh.people.ust.hk/post/vvp-debug/2021-08-27T00:00:00+00:00 https://hongcezh.people.ust.hk/post/verilog/2021-08-27T00:00:00+00:00 https://hongcezh.people.ust.hk/slides/2019-02-05T00:00:00+00:00 https://hongcezh.people.ust.hk/slides/example/2019-02-05T00:00:00+00:00 https://hongcezh.people.ust.hk/project/ilang/2016-04-27T00:00:00+00:00 https://hongcezh.people.ust.hk/admin/ https://hongcezh.people.ust.hk/categories/ https://hongcezh.people.ust.hk/publication_types/