@article{(Open Science Index):https://publications.waset.org/pdf/4385,
	  title     = {Development of A Meta Description Language for Software/Hardware Cooperative Design and Verification for Model-Checking Systems},
	  author    = {Katsumi Wasaki and  Naoki Iwasaki},
	  country	= {},
	  institution	= {},
	  abstract     = {Model-checking tools such as Symbolic Model Verifier
(SMV) and NuSMV are available for checking hardware designs.
These tools can automatically check the formal legitimacy of a
design. However, NuSMV is too low level for describing a complete
hardware design. It is therefore necessary to translate the system
definition, as designed in a language such as Verilog or VHDL, into
a language such as NuSMV for validation. In this paper, we present
a meta hardware description language, Melasy, that contains a code
generator for existing hardware description languages (HDLs) and
languages for model checking that solve this problem.},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {2},
	  number    = {6},
	  year      = {2008},
	  pages     = {1807 - 1811},
	  ee        = {https://publications.waset.org/pdf/4385},
	  url   	= {https://publications.waset.org/vol/18},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 18, 2008},
	}