Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Podrobná bibliografie
Hlavní autoři:	McKeever, S, Luk, W, Derbyshire, A
Médium:	Conference item
Vydáno:	2003

Podobné jednotky

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
Autor: McKeever, S, a další
Vydáno: (2002)

A Declarative Framework for Developing Parametrised Hardware Libraries
Autor: McKeever, S, a další
Vydáno: (2001)

Pebble: A Language for Parametrised and Reconfigurable Hardware Design
Autor: Luk, W, a další
Vydáno: (1998)

Reusing Intellectual Property with Parametrised Hardware Libraries
Autor: Luk, W, a další
Vydáno: (1997)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
Autor: Luk, W, a další
Vydáno: (2001)

Parametrized Hardware Libraries for Configurable System−on−Chip Technology
Autor: Luk, W, a další
Vydáno: (2001)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
Autor: McKeever, S, a další
Vydáno: (2001)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
Autor: McKeever, S, a další
Vydáno: (2006)

Towards Adaptable Hierarchical Placement for FPGAs
Autor: de Dinechin, F, a další
Vydáno: (1999)

Array Synthesis in SystemC Hardware Compilation
Autor: Ditmar, J, a další
Vydáno: (2007)

Area optimisation for field-programmable gate arrays in SystemC hardware compilation
Autor: Ditmar, J, a další
Vydáno: (2008)

Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation
Autor: Ditmar, J, a další
Vydáno: (2008)

Attacker-parametrised attack graphs
Autor: Janse van Rensburg, A, a další
Vydáno: (2016)

Stochastic parametrisation and model uncertainty
Autor: Arnold, HM
Vydáno: (2013)

Inverse Relations for Blossoms and Parametrisations of Rational Curves and Surfaces
Autor: Leonardo Fernández-Jambrina
Vydáno: (2024-09-01)

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation
Autor: Johan Ditmar, a další
Vydáno: (2008-01-01)

The Explicit Wake Parametrisation V1.0: a wind farm parametrisation in the mesoscale model WRF
Autor: P. J. H. Volker, a další
Vydáno: (2015-11-01)

The use of B to specify‚ design and verify hardware
Autor: Ifill, W, a další
Vydáno: (2001)

Data assimilation and parametrisation of lakes in HIRLAM
Autor: Laura Rontu, a další
Vydáno: (2012-03-01)

Hydrograph separation: an impartial parametrisation for an imperfect method
Autor: A. Pelletier, a další
Vydáno: (2020-03-01)

Parametrisation of Earth's polarisation spectrum in the ultra-violet
Autor: Schutgens, N, a další
Vydáno: (2002)

A parametrisation of UV polarisation of the earth's atmosphere
Autor: Schutgens, N, a další
Vydáno: (2001)

A simple parametrisation of the pion form factor
Autor: Matthew Kirk, a další
Vydáno: (2025-02-01)

Towards the ’Verified Verifier’. Theory and Practice
Autor: D. A. Kondratyev, a další
Vydáno: (2014-12-01)

Verifying quantitative reliability for programs that execute on unreliable hardware
Autor: Misailovic, Sasa, a další
Vydáno: (2015)

Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
Autor: Carbin, Michael, a další
Vydáno: (2013)

Using B to Specify‚ Verify and Design Hardware Circuits
Autor: Sørensen, I
Vydáno: (1998)

Verifying the biological relevance of a neuromorphic hardware device
Autor: Brüderle Daniel, a další
Vydáno: (2007-07-01)

Optimal parametrisation of the Pariser-Parr-Pople Model for benzene and biphenyl
Autor: Bursill, R, a další
Vydáno: (1998)

Optimal parametrisation of the Pariser-Parr-Pople Model for benzene and biphenyl
Autor: Bursill, R, a další
Vydáno: (1998)

T-duality simplifies bulk-boundary correspondence: the parametrised case
Autor: Hannabuss, K, a další
Vydáno: (2016)

The impact of stochastic parametrisations on the representation of the Asian summer monsoon
Autor: Strømmen, KJ, a další
Vydáno: (2017)

Parallel One-Step Control of Parametrised Boolean Networks
Autor: Luboš Brim, a další
Vydáno: (2021-03-01)

Uniformly factoring weakly compact operators and parametrised dualisation
Autor: L. Antunes, a další
Vydáno: (2021-01-01)

A fully verified container library
Autor: Tschannen, Julian, a další
Vydáno: (2018)

Verifying Hardware Security Modules With True Random NumberGenerators
Autor: Zhao, Katherine
Vydáno: (2024)

Advanced parametrisation of phase change materials through kinetic approach
Autor: Lizana, J, a další
Vydáno: (2021)

Using cloud ice flux to parametrise large-scale lightning
Autor: D. L. Finney, a další
Vydáno: (2014-12-01)

Using ultrasonography for verifying feeding tube placements in cats
Autor: Barbara Bruno, a další
Vydáno: (2023-11-01)

MLVR: Regular Expression-Based Specification for Verified Model Checking of Hardware
Autor: Kammer, Gabriel A.
Vydáno: (2024)