Papers by A. Tsikhanovich
... 28 Figure 10: IP-XACT specification [82] .... 38 ... VHSIC Very High Speed Integrated Circuit... more ... 28 Figure 10: IP-XACT specification [82] .... 38 ... VHSIC Very High Speed Integrated Circuits W3C World Wide Web Consortium XML EXtensible Murkup Language XSLT EXtensible Stylesheet Language Transformations ...
Fifth International Workshop on System-on-Chip for Real-Time Applications (IWSOC'05), 2005
In this paper we propose a new specification and simulation modeling methodology that supports th... more In this paper we propose a new specification and simulation modeling methodology that supports the application of transactional level modeling in the design cycle of hardware/software (HW/SW) systems allowing the exploration and validation of design alternatives at high levels of abstraction. The proposed methodology offers a possibility to unify functional and nonfunctional aspects of the system yielding to a holistic approach in specification modeling and simulation. We provide a general approach in system specification that separates three modeling aspects: a computational model, a language used for the functional specification and simulator semantics and implementation. This enables model reusability, design space exploration and specification relatively independent from HW/SW description languages.
2007 50th Midwest Symposium on Circuits and Systems, 2007
ABSTRACT Timing analysis and verification are important parts of the system design. Accelerating ... more ABSTRACT Timing analysis and verification are important parts of the system design. Accelerating these activities can drastically speedup the overall design process. In this paper we present a model of timing specification that can be used for acceleration of design space exploration in transaction level modeling (TLM) design flow. To our knowledge, there is no accepted methodology for timing specification representation in TLM till now. We propose to use a combination of two paradigms in the design process: TLM on one hand and a methodology to express timing between different transactions on the other hand.
2007 14th IEEE International Conference on Electronics, Circuits and Systems, 2007
ABSTRACT In this paper we propose an approach for communication structure exploration and refinem... more ABSTRACT In this paper we propose an approach for communication structure exploration and refinement in system design based on temporal constraints analysis. Local consistency property method is generalized to provide an automatic protocol generation or to signal temporal specification inconsistencies, reducing in this way the time needed for the communication design space exploration.
2006 Canadian Conference on Electrical and Computer Engineering, 2006
Transaction level modeling (TLM) defines several abstraction levels differentiated by the express... more Transaction level modeling (TLM) defines several abstraction levels differentiated by the expression degree of functional and temporal details, providing timed or un-timed functional models of the system under design. The construction of the TLM higher abstraction simulation models leads to a better performance/accuracy ratio and in that way enables parallel and efficient hardware and software component development, early validation and
2008 International Conference on Microelectronics, 2008
Digital systems complexity and short time-to-market characterize today's digital system design. T... more Digital systems complexity and short time-to-market characterize today's digital system design. The objectoriented methodology can be applied in order to cope with these problems by allowing reuse, specialization of existing models to express new functionality or modification in implementation and descriptions at different levels of abstraction. In this paper, we illustrate the benefits of such methodology using SystemC.
developing models of software algorithms, hardware architecture and system-level designs. Althoug... more developing models of software algorithms, hardware architecture and system-level designs. Although SystemC is very rich in possibilities for Hardware Description, the simulation is made via a console application, thus textual only, hence it is cumbersome to view the results. Our objective is to develop a GUI for SystemC to provide a more intuitive representation of simulation results.
The objective of this paper is to demonstrate the benefits of the multi-paradigm design methodolo... more The objective of this paper is to demonstrate the benefits of the multi-paradigm design methodology in hardware or hardware/software design, and to show that the advantages to use it outweigh the risks. We will show that with this methodology we will be able to develop more resilient specifications and models, express different behaviors and views of the same "entity", facilitating
Uploads
Papers by A. Tsikhanovich