@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}, }