Author of the publication

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment.

, , , , , , , , and . IEEE Software, 1 (1): 31-49 (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Transforming disfigured and disoriented areas into routable switchboxes., and . Great Lakes Symposium on VLSI, page 82-87. IEEE, (1991)The Set Theory of Arithmetic Decomposition., and . IEEE Trans. Computers, 39 (8): 993-1005 (1990)Switchbox Routing by Pattern Matching., and . VLSI, volume A-1 of IFIP Transactions, page 337-346. North-Holland, (1991)Structured arithmetic tiling of integrated circuits.. IEEE Symposium on Computer Arithmetic, page 41-48. IEEE Computer Society, (1987)Radix-16 Signed-Digit Division., and . IEEE Trans. Computers, 39 (12): 1424-1433 (1990)The structure and operation of a relational database system in a cell-oriented integrated circuit design system., , , and . DAC, page 117-125. ACM/IEEE, (1984)Cell matrix methodologies for integrated circuit design., , , and . Integr., 9 (1): 81-97 (1990)Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment., , , , , , , , and . COMPCON, page 448-455. IEEE Computer Society, (1984)Cascade: hardware for high/variable precision arithmetic.. IEEE Symposium on Computer Arithmetic, page 184-191. IEEE, (1989)Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment., , , , , , , , and . IEEE Software, 1 (1): 31-49 (1984)