Electronic Design Automation Algorithms for E-Book Design by Visual Programming Language: A Verification Framework

Creating an interactive electronic book (e-book) requires substantial time, skill, and effort. Our study reveals that authoring tools must eliminate users' need for textual programming. We propose a novel interactive e-book design method that uses multimedia reusable components (MRCs) and an e-book description language (EBDL) to implement e-book authoring tools like a circuit design concept. Interactive ebooks can be designed intuitively using MRCs and EBDL without text-based programming, which differs from static syntax analysis of text-based programming languages. The designs using MRCs and EBDL can be verified and tested using the Boolean satisfiability of the electronic design automation algorithm. Notably, verification and debugging are challenging in current visual programming languages. Therefore, our research provides e-book designers reduce the technical requirements of e-book design. The findings can also ensure visual programming languages' consistent behavior and design while detecting design errors.