Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

Show other versions (1)

Bibliographic Details
Main Authors:	McKeever, S, Luk, W
Format:	Conference item
Published:	2001

Similar Items

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
by: McKeever, S, et al.
Published: (2006)

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
by: McKeever, S, et al.
Published: (2002)

Array Synthesis in SystemC Hardware Compilation
by: Ditmar, J, et al.
Published: (2007)

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
by: McKeever, S, et al.
Published: (2003)

A Declarative Framework for Developing Parametrised Hardware Libraries
by: McKeever, S, et al.
Published: (2001)

Pebble: A Language for Parametrised and Reconfigurable Hardware Design
by: Luk, W, et al.
Published: (1998)

Area optimisation for field-programmable gate arrays in SystemC hardware compilation
by: Ditmar, J, et al.
Published: (2008)

Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation
by: Ditmar, J, et al.
Published: (2008)

Provably Correct Systems
by: He, J, et al.
Published: (1994)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
by: Luk, W, et al.
Published: (2001)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
by: Luk, W, et al.
Published: (2001)

Towards Adaptable Hierarchical Placement for FPGAs
by: de Dinechin, F, et al.
Published: (1999)

Reusing Intellectual Property with Parametrised Hardware Libraries
by: Luk, W, et al.
Published: (1997)

Compilers : principles, techniques and tools /
by: Aho, Alfred V.
Published: (2007)

Single Pass Compilation. PL/I
by: Hoare, C
Published: (1966)

Synthesis of provably correct controllers for autonomous vehicles in urban environments
by: Wongpiromsarn, Tichakorn, et al.
Published: (2013)

CellML and Associated Tools and Techniques
by: Garny, A, et al.
Published: (2008)

Compiler design and construction : tools and techniques (with C and Pascal) /
by: 335231 Pyster, Arthur B.
Published: (1988)

Review: Logics of provability
by: Williamson, T
Published: (1996)

Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis
by: Avnit, K, et al.
Published: (2009)

Compilation using correct-by-construction program synthesis
by: Pit-Claudel, Clément
Published: (2017)

Variational circuit compiler for quantum error correction
by: Xu, X, et al.
Published: (2021)

Transient correction by means of all-pass networks
Published: (2004)

Towards the Verifying Compiler
by: Hoare, C
Published: (2004)

Towards the Verifying Compiler
by: Hoare, C
Published: (2002)

C-Flow : a compiler for statically scheduled message passing in parallel programs
by: Griffin, Patrick (Patrick Robert)
Published: (2007)

Hardware error correction for programmable photonics
by: Bandyopadhyay, Saumil, et al.
Published: (2022)

Model-code separation architectures for compression based on message-passing
by: Huang, Ying-zong
Published: (2015)

The Pochoir Stencil Compiler
by: Tang, Yuan, et al.
Published: (2012)

Keynote paper: Hardware compilation - a new technique for rapid prototyping of digital systems - applied to sensor validation
by: Henry, M
Published: (2000)

KEYNOTE PAPER - HARDWARE COMPILATION - A NEW TECHNIQUE FOR RAPID PROTOTYPING OF DIGITAL-SYSTEMS APPLIED TO SENSOR VALIDATION
by: Henry, M
Published: (1995)

OGSA−based Grid Workload Monitoring
by: Zhang, R, et al.
Published: (2015)

Compilation techniques for reconfigurable architectures /
by: 255616 Cardoso, Joao M. P., et al.
Published: (2008)

Truth, conservativeness, and provability: Reply to Cieśliński
by: Ketland, J
Published: (2010)

Provable algorithms for inference in topic models
by: Arora, Sanjeev, et al.
Published: (2018)

Towards a liquid compiler
by: Davis, Stephen Brooks
Published: (2006)

Quantum correction hardware accelerator design on FPGA
by: Cao, Hongyu
Published: (2023)

Quantum correction hardware accelerator design on FPGA
by: Soh, Siang Yang
Published: (2024)

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
by: Liebenwein, Lucas, et al.
Published: (2018)

Modular Markup for Simulating Vascular Tumour Growth
by: Johnson, A, et al.
Published: (2012)