@inproceedings{DAC-2003-SaifhashemiP,
	author        = "Arash Saifhashemi and Hossein Pedram",
	booktitle     = "{Proceedings of the 40th Design Automation Conference}",
	doi           = "10.1145/775832.775917",
	isbn          = "1-58113-688-9",
	pages         = "330--333",
	publisher     = "{ACM}",
	title         = "{Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction}",
	year          = 2003,
}