The paper introduces CAHDL, the Computer Architecture and Hardware Description Language. CAHDL is aimed to specify processor instructions and computer hardware formally. Although CAHDL supports RTL modeling to some ex...
详细信息
ISBN:
(纸本)9781479981748
The paper introduces CAHDL, the Computer Architecture and Hardware Description Language. CAHDL is aimed to specify processor instructions and computer hardware formally. Although CAHDL supports RTL modeling to some extent, it is does not describe digital circuits. CAHDL is designed first to specify CPU and hardware behavior, rather than their structure. CAHDL can be applied in simulators, compilers, disassemblers, testers and other programs requiring specification of computer architecture. In the end of the paper we observe how CAHDL is applied in computer simulation. The paper brings some CAHDL syntactic constructions as examples and explains their semantics. Parsing methods are also briefly reviewed.
This paper deals with one-dimensional boundary value problems for a non-linear heat conduction equation with a power dependence of the heat conductivity coefficient on temperature. New solution algorithms are construc...
This paper deals with one-dimensional boundary value problems for a non-linear heat conduction equation with a power dependence of the heat conductivity coefficient on temperature. New solution algorithms are constructed for the instances of boundary conditions degenerating at the initial time moment. A comparison of the obtained solutions with known exact solutions shows the effectiveness of the proposed algorithms.
In the present work the Mott effect for pions and kaons is described within a Beth- Uhlenbeck approach on the basis of the PNJL model. The contribution of these degrees of freedom to the thermodynamics is encoded in t...
In the present work the Mott effect for pions and kaons is described within a Beth- Uhlenbeck approach on the basis of the PNJL model. The contribution of these degrees of freedom to the thermodynamics is encoded in the temperature dependence of their phase shifts. A comparison with results from Nf = 2 + 1 lattice QCD thermodynamics is performed.
We develop the spectral representation of propagator for n mixing fermion fields in case of Pparity violation. Solving of the eigenstate problem for inverse matrix propagator allows to build the system of orthogonal p...
详细信息
We introduce the discrete automaton models of gene networks with weight functions of vertices accounting for the various forms of the regulatory interaction of agents. We study the discrete mapping that describes the ...
详细信息
We develop a variant of K-matrix, which includes the effect of opposite parity fermions (OPF) mixing, and apply it for description of pN partial waves S11 and P11. OPF-mixing leads to appearance of negative energy pol...
详细信息
The paper is devoted to the development of the canonical theory of the Hamilton-Jacobi optimality for nonlinear dynamical systems with controls of the vector measure type and with trajectories of bounded variation. In...
The article addresses a boundary value problem with degeneration for a nonlinear heat equation in the case of two space variables. Solving this problem makes it possible to study heat conduction in a neighborhood of a...
详细信息
We consider a controlsystem of first order ordinary differential equations that is unsolved with respect to the derivative of a sought vector-valued function and is identically degenerate in the domain. We obtain sta...
We consider a controlsystem described by two nonlinear related equations. The first equation expresses connection between the input and output of the hysteresis operator, whereas the second one is the diffusion equat...
暂无评论