Advertisement

Programmable Logic Has More Computational Power than Fixed Logic

  • Gordon Brebner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3203)

Abstract

In 1964, Elgot and Robinson introduced the Random-Access Stored Program (RASP) machine model ”to capture some of the most salient features of the central processing unit of a modern digital computer.” After four decades of progress in computer science, this model is now somewhat outdated. Intriguingly though, the 1964 paper presented two theorems showing that programs of ’finitely determined’ instructions are properly more powerful if modification of addresses in instructions is permitted during execution than when it is forbidden. In this paper, we celebrate the 40th birthday of these results by using them to prove that allowing programmability of circuits during execution adds extra computational power. To do this, we accord front-line computational status to programmable cir-cuitry, and conduct a theoretical study based on a tradition dating back to Gödel, Turing and Church in the 1930s. In particular, we introduce a new Local Access Stored Circuit (LASC) model of programmable circuitry, intended to form a solid basis for a broad range of future computational research.

Keywords

Programmable Logic Memory Location Sequential Function Machine Model Empty Word 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Elgot, C., Robinson, A.: Random-Access Stored-Program Machines, an Approach to Programming Languages. Journal of the ACM 11(4), 365–399 (1964)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Gordon Brebner
    • 1
  1. 1.Xilinx Research LabsSan JoseU.S.A

Personalised recommendations