A New Heuristic Tool for Designing Multiple-Valued Logic Systems

SAVRAN İ.

Journal of Circuits, Systems and Computers, cilt.32, sa.16, 2023 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 32 Sayı: 16
  • Basım Tarihi: 2023
  • Doi Numarası: 10.1142/s0218126623502614
  • Dergi Adı: Journal of Circuits, Systems and Computers
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, Applied Science & Technology Source, Compendex, Computer & Applied Sciences, INSPEC
  • Anahtar Kelimeler: cube calculus, heuristic optimization, hypercube, Multiple-valued logic (MVL), MVL optimization
  • Eskişehir Osmangazi Üniversitesi Adresli: Evet

Özet

In this paper, a brand new heuristic optimization algorithm for multiple-valued logic (MVL) functions and the performance of the implementation will be introduced. In logic synthesis, optimization procedure is a fundamental process in order to design more efficient systems. The proposed algorithm, called MVL-MIN, utilizes Cube Algebra operators. MVL-MIN computes the prime cubes that cover a target cube at a time, instead of extracting all the primes for a given MVL function. MVL-MIN consists of five major procedures, called (a) checking, (b) expansion, (c) elimination, (d) nondisjoint sharp, and (e) prime determination. In order to find a near-minimal cover, three different prime determination functions are developed. The implementation based on the new algorithm is compared with MVSIS. For testing, three sets of test bench are prepared. Each set includes 5 MVL functions. Test results proved that MVL-MIN is able to solve all test files within a fixed allocation of computer resources while MVSIS could not. MVL-MIN achieved 1.9× to 9.7× speedup over MVSIS. In terms of cover size, since current MVL-MIN implementation cannot recognize redundant cubes, MVSIS computed more concise covers for all test benches than MVL-MIN.