Dolmen: FPGA Swarm for Safety and Liveness Verification.
Emilien FournierCiprian TeodorovLoïc LagadecPublished in: DATE (2022)
Keyphrases
- field programmable gate array
- hardware implementation
- model checking
- high speed
- swarm intelligence
- low cost
- verilog hdl
- safety analysis
- real time image processing
- particle swarm optimization
- safety critical
- formal verification
- real time
- neural network
- formal methods
- signal processing
- cooperative
- data sets
- evolutionary computation
- signature verification
- computing systems
- single chip
- search algorithm
- fpga implementation
- intelligent vehicles
- verification method
- power reduction
- parallel hardware
- hardware architectures
- gate array