A starting approach

.

Scheduling and Data Conservation

  • Nearly all of system and protocol design is about scheduling when to do what. The difference is that for a protocol, the ordering is more widely publicised.

  • Finite resources are provided and hence there are constraints on how many operations can be performed at one time.

  • Many systems mostly move data around, conserving opaque bits, and occasionally doing some arithmetic or data-dependent control flow.

  • Interfaces between components operate asynchronously of each other and sometimes have to interoperate with old revisions.

    -->Let's create a reversible language where data conservation is the default operation.

    SAT Solving and Model Checking

    There are huge advances in the size of SAT problem that can be solved today. 

    
	(a | ~b | e) . (~a | c) . (b | ~g) ....

    Model checkers can take an example system and exercise it to check properties.

    FPGA and Machine Code

    When we program an FPGA or a computer, we generate a bit stream that is the program.

    -->SAT solvers generate a bit stream that meets a given specification!

    • Home.           SRG Talk. 12 March 2003. DJ Greaves. www.cl.cam.ac.uk.