Xinyan Gao

From MaRDI portal
Person:364506

Available identifiers

zbMath Open gao.xinyanMaRDI QIDQ364506

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50355052022-02-22Paper
Groebner bases based verification solution for SystemVerilog concurrent assertions2019-11-19Paper
Unified mathematical framework for slicing and symmetry reduction over event structures2019-11-19Paper
Wu's characteristic set method for SystemVerilog assertions verification2013-09-09Paper
Algebraic verification method for SEREs properties via Groebner bases approaches2013-06-14Paper

Research outcomes over time

This page was built for person: Xinyan Gao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:364506&oldid=7596823"
Powered by MediaWiki