This work presents formal modeling of Network-on-Chip (NoC) considering detailed functional units NoC. The intricate NoC router components like buffer, switch, and arbiter is accomplished using Finite State Machine (FSM). As in the case a real NoC, parallel execution these carried out by maintaining synchronization between within each adjacent routers presented model. Important properties for c...

We study a complete cosmological model based on an asymmetric scalar doublet represented by the classical and phantom Higgs fields. Moreover, we remove assumption that expansion rate of Universe is nonnegative, which contradicts system Einstein’s equations in several cases. formulate closed dynamical describing evolution dependence topology Einstein–Higgs hypersurface five-dimensional phase spa...