Taoyong Ni

According to our database, Taoyong Ni authored at least 3 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

iPSL: An Environment for IP-Based PSL Specification.

Naiyong Jin, Juan Zhou, Taoyong Ni

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata.

Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Interface Specification Assurance Methods.

Naiyong Jin, Taoyong Ni

Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007