Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Nicolas Berthier; Xin An; Hervé Marchand

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Nicolas Berthier ¹ Xin An ² Hervé Marchand ¹

1 SUMO - SUpervision of large MOdular and distributed systems

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

2 USTC - University of Science and Technology of China [Hefei]

Abstract : We investigate the opportunities given by recent developments in the context of Discrete Controller Synthesis algorithms for infinite, logico-numerical systems. To this end, we focus on models employed in previous work for the management of dynamically partially reconfigurable hardware architectures. We extend these models with logico-numerical features to illustrate new modeling possibilities, and carry out some benchmarks to evaluate the feasibility of the approach on such models.

Keywords : Discrete Controller Synthesis Infinite Systems Control of Computing Synchronous Languages Hardware Architectures Dynamically Partially Reconfigurable FPGA

Document type :

Conference papers

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadatas

Cited literature [18 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-01187745
Contributor : Hervé Marchand <>
Submitted on : Thursday, August 27, 2015 - 3:16:48 PM
Last modification on : Thursday, November 15, 2018 - 11:58:45 AM
Long-term archiving on: Saturday, November 28, 2015 - 10:32:52 AM

DCDS.pdf

Publisher files allowed on an open archive

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

File

Identifiers

Collections

Citation

Export

Metrics

333

292

Contact

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

File

Identifiers

Collections

Citation

Export

Share

Metrics

333

292

Contact