Correct by Construction Programmable Platforms

Scott Weber
(Professor Kurt Keutzer)
GSRC

We propose a method for describing programmable platforms in a constraint-based pure functional language. This description coupled with a well-defined model of computation allows us to constructively generate and restrict multiple views of the programmable platform. Our multiple views enable designers to abstract and refine the design while our system maintains consistency between the views.