Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA

Émilien Fournier (1, 2) , Ciprian Teodorov (3, 2) , Loïc Lagadec (1, 2)

1 Lab-STICC_ARCAD - Equipe Hardware ARchitectures and CAD tools
2 ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
3 Lab-STICC_P4S - Equipe Processes for Safe and Secure Software and Systems

Domaines: Architectures Matérielles [cs.AR]; Performance et fiabilité [cs.PF]

Émilien Fournier, Ciprian Teodorov, Loïc Lagadec. Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA. FPL (Field Programmable Logic), Aug 2021, Dresden, Germany. ⟨hal-03429008⟩