Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 127 matches
- 1989
- Magdy S. Abadir:
TIGER: testability insertion guidance expert system. ICCAD 1989: 562-565 - Miron Abramovici, David T. Miller, Rabindra K. Roy:
Dynamic redundancy identification in automatic test generation. ICCAD 1989: 466-469 - Bryan D. Ackland, Robert A. Clark:
Event-EMU: an event driven timing simulator for MOS VLSI circuits. ICCAD 1989: 80-83 - Ramón D. Acosta, Steven P. Smith, Jeff Larson:
Mixed-mode simulation of compiled VHDL programs. ICCAD 1989: 176-179 - Hamideh Afsarmanesh, Esther Brotoatmodjo, Kwang June Byeon, Alice C. Parker:
The EVE VLSI information management environment. ICCAD 1989: 384-387 - Robert C. Aitken, Vinod K. Agarwal:
A diagnosis method using pseudo-random vectors without intermediate signatures. ICCAD 1989: 574-577 - Richard Anderson, Simon Kahan, Martine D. F. Schlag:
An O(n log n) algorithm for 1-D tile compaction. ICCAD 1989: 144-147 - Pranav Ashar, Srinivas Devadas, A. Richard Newton:
Optimum and heuristic algorithms for finite state machine decomposition and partitioning. ICCAD 1989: 216-219 - Larry M. Augustin:
Timing models in VAL/VHDL. ICCAD 1989: 122-125 - Mary L. Bailey, Lawrence Snyder:
A model for comparing synchronization strategies for parallel logic-level simulation. ICCAD 1989: 502-505 - Mark Beardslee, Chuck Kring, Rajeev Murgai, Hamid Savoj, Robert K. Brayton, A. Richard Newton:
SLIP: a software environment for system level interactive partitioning. ICCAD 1989: 280-283 - Krishna P. Belkhale, Prithviraj Banerjee:
PACE2: an improved parallel VLSI extractor with parameter extraction. ICCAD 1989: 526-529 - C. Leonard Berman, Louise Trevillyan:
Functional comparison of logic designs for VLSI circuits. ICCAD 1989: 456-459 - Michael Bolotski, Daniel Camporese, Rod Barman:
State assignment for multilevel logic using dynamic literal estimation. ICCAD 1989: 220-223 - Richard J. Bonneau:
DEC's engineering to manufacturing BRIDGE system based on the D-BUS architecture. ICCAD 1989: 288-291 - Robert K. Brayton, Fabio Somenzi:
An exact minimizer for Boolean relations. ICCAD 1989: 316-319 - Erik Brunvand, Robert F. Sproull:
Translating concurrent programs into delay-insensitive circuits. ICCAD 1989: 262-265 - Richard Burch, Kartikeya Mayaram, Jue-Hsien Chern, Ping Yang, Paul F. Cox:
PGS and PLUCGS-two new matrix solution techniques for general circuit simulation. ICCAD 1989: 408-411 - J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani:
Restricted symbolic evaluation is fast and useful. ICCAD 1989: 38-41 - Susheel J. Chandra, Janak H. Patel:
Accurate logic simulation in the presence of unknowns. ICCAD 1989: 34-37 - Ming-Feng Chang, Weiping Shi, W. Kent Fuchs:
Optimal wafer probe testing and diagnosis of k-out-of-n structures. ICCAD 1989: 238-241 - Hau-Yung Chen, Santanu Dutta:
A timing model for static CMOS gates. ICCAD 1989: 72-75 - Kuang-Chien Chen, Saburo Muroga:
SYLON-DREAM: a multi-level network synthesizer. ICCAD 1989: 552-555 - Kwang-Ting Cheng, Vishwani D. Agrawal:
State assignment for initializable synthesis (gate level analysis). ICCAD 1989: 212-215 - Kwang-Ting Cheng, Vishwani D. Agrawal:
Design of sequential machines for efficient test generation. ICCAD 1989: 358-361 - Charles C. Chiang, Majid Sarrafzadeh, Chak-Kuen Wong:
A powerful global router: based on Steiner min-max trees. ICCAD 1989: 2-5 - Dae-Hyung Cho, Tae-Han Kim, Jeong-Taek Kong:
A table look-up model using a 3-D isoparametric shape function with improved convergency. ICCAD 1989: 244-247 - Glenn Colón-Bonet, Eric M. Schwarz, D. G. Bostick, Gary D. Hachtel, Michael R. Lightner:
On optimal extraction of combinational logic and don't care sets from hardware description languages. ICCAD 1989: 308-311 - Jason Cong:
Pin assignment with global routing. ICCAD 1989: 302-305 - Sattam Dasgupta, Mahesh Mehendale, V. R. Sudershan, Rajeev Jain, Nagaraj Subramanyam, James Hochschild:
FDT-a design tool for switched capacitor filters. ICCAD 1989: 446-449
skipping 97 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-24 06:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint