Zobrazeno 1 - 10
of 117
pro vyhledávání: '"H.W. Carter"'
Publikováno v:
IEEE Potentials. 24:6-11
This work presents the mixed mode integrated circuit design. The development of SOC technology, CAD and simulation resources are providing system and chip designers with design tools necessary for successfully completing fully integrated CMOS hardwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adde364cade98f6c832f9df48cb1be15
https://doi.org/10.1109/mp.2005.1405794
https://doi.org/10.1109/mp.2005.1405794
Publikováno v:
IEEE Transactions on Software Engineering. 28:58-78
The paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed simulation kernels based on the Time Warp paradigm. The intent is to provide a common formal base from which domain specifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23331739f781cd75e49119a71d8cc45d
https://doi.org/10.1109/32.979989
https://doi.org/10.1109/32.979989
Autor:
Lun Ye, H.W. Carter
Publikováno v:
Analog Integrated Circuits and Signal Processing. 16:173-183
This article describes briefly the AnaVHDL language, which introduces minimal extensions to VHDL93 to construct a useful and robust language to model mixed-signal systems at multiple levels of abstraction from different equation level to abstract sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e2b359799d4018024eca1a974cf3fc2
https://doi.org/10.1023/a:1008271824014
https://doi.org/10.1023/a:1008271824014
Autor:
H.W. Carter, Raghuram Srinivasan
Publikováno v:
ACM Great Lakes Symposium on VLSI
We present a methodology that can analyze the effect of process variations without requiring the repeated simulations of a Monte Carlo type method. A graph theoretic procedure is described to obtain an explicit differential equation from the differen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f02a0f1ecf943a4312fe0dbe85e90305
https://doi.org/10.1145/1531542.1531593
https://doi.org/10.1145/1531542.1531593
Autor:
R. Srinivasan, H.W. Carter
Publikováno v:
BMAS
In this paper we present a circuit configuration that generates an Index-3 DAE. Previous index analyses of analog circuits have proved that the DAE set modeling the circuit is at most Index-2. We show that certain behavioral models for transistors ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::854eddf6fc0422a7cabbd62845c1d0a1
https://doi.org/10.1109/bmas.2008.4751241
https://doi.org/10.1109/bmas.2008.4751241
Publikováno v:
ASAP
FCCM
FCCM
This paper deals with the design of an area-time efficient hardware architecture for the multivariate signature scheme, Rainbow. As a part of this architecture, a high-performance hardware optimized variant of the well-known Gaussian elimination over
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e9e8dcb355864012ce6745adce71fa0
https://doi.org/10.1109/asap.2008.4580149
https://doi.org/10.1109/asap.2008.4580149
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IPDPS
Web-based simulations are performed by utilizing the resources of the Word Wide Web (WWW) such as proprietary components/models developed by third party modelers/manufacturers and web-based computational infrastructures (or compute servers). Access t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c1ae59f9ac699ccad11b062efb3c08c
https://doi.org/10.1109/ipdps.2001.925167
https://doi.org/10.1109/ipdps.2001.925167
Autor:
H.W. Carter, R. Srinivasan
Publikováno v:
48th Midwest Symposium on Circuits and Systems, 2005..
We propose a method for verifying electronic circuits that can be modeled as linear equation sets. Dynamic programming techniques are used to search the feasible solution space. The method can also be used to analyze the circuit for a range of input
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09f2d62f46aac6fa077002ec3f2aa505
https://doi.org/10.1109/mwscas.2005.1594048
https://doi.org/10.1109/mwscas.2005.1594048
Publikováno v:
48th Midwest Symposium on Circuits and Systems, 2005..
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49f7bb8ac14ebb3bdcb71de820393e6d
https://doi.org/10.1109/mwscas.2005.1594017
https://doi.org/10.1109/mwscas.2005.1594017