SearcharxivSearch

arXiv subjects

Markus Rein

Publications and source records attributed to Markus Rein.

6 recordsLinked to original sources

Interconnect-Aware Logic Resynthesis for Multi-Die FPGAs

Multi-die FPGAs enable device scaling beyond reticle limits but introduce severe interconnect overhead across die boundaries. Inter-die connections, commonly referred to as super-long lines (SLLs), incur high delay and consume scarce interposer interconnect resources, often dominating critical paths and complicating physical design. To address this, this work proposes an interconnect-aware logic resynthesis method that restructures the LUT-level netlist to reduce the number of SLLs. The resynthesis engine uses die partitioning information to apply logic resubstitutions, which simplifies local circuit structures and eliminates SLLs. By reducing the number of SLLs early in the design flow, prior to physical implementation, the proposed method shortens critical paths, alleviates pressure on scarce interposer interconnect resources, and improves overall physical design flexibility. We further build a tool flow for multi-die FPGAs by integrating the proposed resynthesis method with packing and placement. Experimental results on the EPFL benchmarks show that, compared with a state-of-the-art framework, the proposed method reduces the number of SLLs by up to 24.8% for a 2-die FPGA and up to 27.38% for a 3-die FPGA. On MCNC benchmarks, our tool flow achieves an average SLL reduction of 1.65% while preserving placement quality. On Koios benchmarks, where fewer removable SLLs exist, several designs still exhibit considerable inter-die edge reductions. Overall, the results confirm that reducing inter-die connections at the logic level is an effective approach for multi-die FPGAs.

cs.AR

Port-Hamiltonian modeling of district heating networks

This paper provides a first contribution to port-Hamiltonian modeling of district heating networks. By introducing a model hierarchy of flow equations on the network, this work aims at a thermodynamically consistent port-Hamiltonian embedding of the partial differential-algebraic systems. We show that a spatially discretized network model describing the advection of the internal energy density with respect to an underlying incompressible stationary Euler-type hydrodynamics can be considered as a parameter-dependent finite-dimensional port-Hamiltonian system. Moreover, we present an infinite-dimensional port-Hamiltonian formulation for a compressible instationary thermodynamic fluid flow in a pipe. Based on these first promising results, we raise open questions and point out research perspectives concerning structure-preserving discretization, model reduction, and optimization.

math.OC

Optimal control of district heating networks using a reduced order model

We study the optimal control of district heating networks using a reduced order model based on a system theoretic description close to the underlying Euler equations. In the presented scenarios, the central task is to limit the maximal feed-in power occurring as a product of control and state variables. The underlying dynamics of heating networks acting as optimization constraints pose the central computational complexity, prohibiting the determination of an optimal control online. The advection of the injected energy density on the network results in an index-1, quadratic in state differential algebraic equation, challenging to reduce. The suggested reduced model decreases the computation time of the optimization significantly. The effectiveness of the presented approach is demonstrated for an existing, large-scale heating network including changes of flux directions.

math.OC

Model order reduction of hyperbolic systems at the example of district heating networks

In this article a framework for the generation of a computationally fast surrogate model for district heating networks is presented. An appropriate model results in an index-1 hyperbolic, differential algebraic equation quadratic in state, exhibiting several hundred of outputs to be approximated. We show the existence of a global energy matrix which fulfills the Lyapunov inequality ensuring stability of the reduced model. By considering algebraic variables as parameters to the dynamical transport, the reduction of a linear, time varying (LTV) problem results. We present a scheme to efficiently combine linear reductions to a global surrogate model using a greedy strategy in the frequency domain. The numerical effectiveness of the scheme is demonstrated at different, existing, large scale networks.

math.OC

Applicability of Effective Pair Potentials for Active Brownian Particles

We have performed a case study investigating a recently proposed scheme to obtain an effective pair potential for active Brownian particles [Farage et al., Phys. Rev. E 91, 042310 (2015)]. Applying this scheme to the Lennard-Jones potential, numerical simulations of active Brownian particles are compared to simulations of passive Brownian particles interacting by the effective pair potential. Analyzing the static pair correlations, our results indicate a limited range of activity parameters (speed and orientational correlation time) for which we obtain quantitative, or even qualitative, agreement. Moreover, we find a qualitatively different behavior for the virial pressure even for small propulsion speeds. Combining these findings we conclude that beyond linear response active particles exhibit genuine non-equilibrium properties that cannot be captured by effective pair interaction alone.

cond-mat.stat-mech

Collective behavior of quorum-sensing run-and-tumble particles in confinement

We study a generic model for quorum-sensing bacteria in circular confinement. Every bacterium produces signaling molecules, the local concentration of which triggers a response when a certain threshold is reached. If this response lowers the motility then an aggregation of bacteria occurs, which differs fundamentally from standard motility-induced phase separation due to the long-ranged nature of the concentration of signal molecules. We analyze this phenomenon analytically and by numerical simulations employing two different protocols leading to stationary cluster and ring morphologies, respectively.

cond-mat.soft