Mati Tombak

Learn More
In this paper we present two methods for synthesis of High-Level Decision Diagrams (HLDD) for representing digital systems at higher behavior, functional or register-transfer levels. The first method is based on symbolic execution of procedural descriptions, which corresponds to functional representation of systems on the behavioral level. The second one is(More)
The use of memory devices as a means of implementing arbitrarily complex Boolean functions has been applied in a number of elds, including digital signal processing, control and memory based learning. The approach applies the literals of the function to be implemented to the memories address lines and programs the state of the corresponding memory cell to(More)
Structurally synthesized binary decision diagrams (SSBDD) are a special type of BDDs that are generated by superposition according to the structure of propo-sitional formula. Fast algorithms for simulation, diagnostic reasoning and test generation running on SSBDDs exploit their specific properties. Hence the correctness of SSBDDs should be checked before(More)