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)