The Indiana University System Design Methods Laboratory

• Research projects
  • Digital Design Derivation
    *Any opinions, findings, and conclusions or recommendations
    expressed in this material are those of the author(s) and do not
    necessarily reflect the views of the National Science Foundation.
    
    • Overview (rev. 1997)
    • Schemachine Case Study: white paper and drafty project description
    • System Design with Behavior Tables (1996-2001) under NSF grant MIP9610358*
      Project prospectus [ DVI | PSZ | PDF ] Results [ DVI | PSZ | PDF ]
    • Decomposing Digital-System Specification into Interacting Sequential Processes (1992-95) under NSF grant MIP9208745*
      Project prospectus [ DVI | PSZ | PDF ] Results [ DVI | PSZ | PDF ]
    • Algebra of Digital Design Derivation (1989-92) under NSF grant MIP8921842*
      Project prospectus [ DVI | PSZ | PDF ] Results [ DVI | PSZ | PDF ]
    • Digital Design Derivation (1987-89) under NSF grant MIP8707067*
      Project prospectus [ DVI | PSZ | PDF ] Results [ DVI | PSZ | PDF ]
    • Diagrammatic Hardware Verification
      
    
    
  • Daisy/DSI, a computational model for symbolic multiprocessing.
  • Eeyore II, a robot for experimentation with navigation and situated artificial intelligence. Platform for the Indiana University Robotics Club
• Publications
  • HTML
  • Postscript
  • BibTex source
  • DVI
  • e-mail inquiries
• Research demonstrations and case studies
  • Schemachine, a computer for direct excution of compiled Scheme.
  • Single Pulser Study
  • DDD-FM901, a formally derived microprocessor.
  • SECD machine, a formally derived computer.
  • Blackjack circuit
  • VLSI garbage collector
  • PLD garbage collector
• Educational projects
  • Sk^ey^eball platform for embedded system design.
  • Servobot hexapod robot.
  • Logic Engine system prototyping environment.
  • Digital Design Laboratory (coming)
  • Digital Systems Laboratory (coming)
• People
  • Bhaskar Bose [www]
  • Ingo Cyliax [www]
  • Kathi Fisler [www]
  • Willie Hunt [email]
  • Eric Jeschke [www]
  • Steven D. Johnson [www]
  • Paul S. Miner [www]
  • Shyam Pullela [email]
  • Kamlesh Rath [email]
  • Alex Tsow [email]
  • M. Esen Tuna [www]
  • Zheng Zhu