Title :
Revisiting Smalltalk-80 blocks: a logic generator for FPGAs
Author :
Pottier, Bernard ; Llopis, José-Luis
Author_Institution :
Univ. de Bretagne Occidentale, Brest, France
Abstract :
A Smalltalk-80 block is an encapsulation of code the evaluation of which is delayed, either for casual or repetitive execution (message value), or for process creation (message fork). Execution is driven following the object oriented paradigm with late binding of messages to actual functions. A logic generator is described, which is based on the compilation of blocks to logic specifications. The translation process applies the block to a collection of objects representing a definition set. Resulting and original object collections are then translated into binary logic depending on observed classes. Block reference to remote variables allows sequential circuit implementations. The logic generator operates in an interactive environment supporting BLIF and XNF logic representations. Logic optimization and partitioning is achieved using the SIS package. The testbed is the ArMen parallel computer which includes an FPGA ring
Keywords :
Smalltalk; field programmable gate arrays; formal specification; logic CAD; object-oriented methods; ArMen parallel computer; BLIF; FPGA ring; FPGAs; SIS package; Smalltalk-80 blocks; XNF logic representations; encapsulation of code; logic generator; logic optimization; logic specifications; message fork; object oriented paradigm; partitioning; process creation; Field programmable gate arrays;
Conference_Titel :
FPGAs for Custom Computing Machines, 1996. Proceedings. IEEE Symposium on
Conference_Location :
Napa Valley, CA
Print_ISBN :
0-8186-7548-9
DOI :
10.1109/FPGA.1996.564744