282 articles – 2128 references  [version française]
.:. Browse > List by year > 1992 .:.
30 documents ordered by :
1 - 2 Next Last
N/A : [({datebrevet})]
Datapath implementation: bit-slice structure versus standard cells
Leveugle R. et al
Dans Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4. - Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., France (1992) [hal-00015233 - version 1]
Logic synthesis for automatic layout
Abouzeid P. et al
Dans Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4. - Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., France (1992) [hal-00015230 - version 1]
Design methodology of FSMs with intrinsic fault tolerance and recovery capabilities
Leveugle R. et al
Dans Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4. - Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., France (1992) [hal-00015229 - version 1]
An application specific microprocessor with two-level built-in control flow checking capabilities
Michel T. et al
Dans Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4. - Proceedings.-Euro-ASIC-'92-Cat.-No.92TH0442-4., France (1992) [hal-00015228 - version 1]
OCAPI: A prototype for high precision arithmetic
Guyot A. et al
IFIP-Transactions-A-Computer-Science-and-Technology A-1 (1992) 11-18 [hal-00014957 - version 1]
Application of a BDD-package to the verification of HDL descriptions
Borrione D. et al
Dans Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop. - Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop., Italie (1992) [hal-00014295 - version 1]
CHARME: towards formal design and verification for provably correct VLSI hardware
Claesen L. et al
Dans Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop. - Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop., Italie (1992) [hal-00014293 - version 1]
PREVAIL: a proof environment for VHDL descriptions
Borrione D. et al
Dans Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop. - Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research-Workshop., Italie (1992) [hal-00014249 - version 1]
Three decades of HDLs. II. Conlan through Verilog
Borrione D. et al
IEEE-Design-&-Test-of-Computers Sept. ; 9(3) (1992) 54-63 [hal-00014242 - version 1]
An SFS Berger check prediction ALU and its application to self-checking processor designs
Jien-Chung L. et al
IEEE-Transactions-on-Computer-Aided-Design-of-Integrated-Circuits-and-Systems April ; 11(4) (1992) 525-40 [hal-00014032 - version 1]
Verification of self-checking properties by means of output code space computation
Nicolaidis M. et al
Dans Proceedings.-The-European-Conference-on-Design-Automation-Cat.-No.92TH0414-3 - Proceedings.-The-European-Conference-on-Design-Automation-Cat.-No.92TH0414-3, Belgique (1992) [hal-00014010 - version 1]
A tool for computing the output code spaces and verifying the self-checking properties in complex self-checking systems
Boudjit M. et al
IEICE-Transactions-on-Information-and-Systems Nov. ; E75-D(6) (1992) 824-34 [hal-00014006 - version 1]
Improving the theory of truth table verification of iterative logic arrays
Nicolaidis M.
Dans Digest-of-Papers.-1992-IEEE-VLSI-Test-Symposium.-10th-Anniversary.-Design,-Test-and-Application:-ASICs-and-Systems-on-a-Chip-Cat.-No.92TH0437-4 - Digest-of-Papers.-1992-IEEE-VLSI-Test-Symposium.-10th-Anniversary.-Design,-Test-and-Application:-ASICs-and-Systems-on-a-Chip-Cat.-No.92TH0437-4, États-Unis (1992) [hal-00014003 - version 1]
Design of static CMOS self-checking circuits using built-in current sensing
Jien-Chung L. et al
Dans Digest-of-Papers.-FTCS-22.-The-Twenty-Second-International-Symposium-on-Fault-Tolerant-Computing-Cat.-No.92CH3155-9 - Digest-of-Papers.-FTCS-22.-The-Twenty-Second-International-Symposium-on-Fault-Tolerant-Computing-Cat.-No.92CH3155-9, États-Unis (1992) [hal-00014002 - version 1]
A tool for automatic generation of BISTed and transparent BISTed RAMs
Kebichi O. et al
Dans IEEE-1992-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors.-ICCD-'92-Cat.-No.92CH3189-8 - IEEE-1992-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors.-ICCD-'92-Cat.-No.92CH3189-8, États-Unis (1992) [hal-00014001 - version 1]
Design of static CMOS self-checking circuits using built-in current sensing
Daly J.-C. et al
Dans Digest-of-Papers.-The-1992-IEEE-Workshop-on-Fault-Tolerant-Parallel-and-Distributed-Systems-Cat.-No.92TH0449-9 - Digest-of-Papers.-The-1992-IEEE-Workshop-on-Fault-Tolerant-Parallel-and-Distributed-Systems-Cat.-No.92TH0449-9, États-Unis (1992) [hal-00013998 - version 1]
Transparent BIST for RAMs
Nicolaidis M.
Dans Proceedings-International-Test-Conference-1992-Cat.-No.92CH3191-4. 1992: - Proceedings-International-Test-Conference-1992-Cat.-No.92CH3191-4. 1992:, États-Unis (1992) [hal-00013988 - version 1]
A fast algorithm for lapped nonorthogonal transform: application to the image Gabor transform
Poize M. et al
Dans Proceedings-of-the-SPIE-The-International-Society-for-Optical-Engineering. - Proceedings-of-the-SPIE-The-International-Society-for-Optical-Engineering., États-Unis (1992) [hal-00012065 - version 1]
Heavy ion test results for the 68020 microprocessor and the 68882 coprocesso
Velazco R. et al
IEEE Transactions on Nuclear Science June 1992, Volume: 39 , Issue: 3 , Part 1-2 (1992) 436-440 [hal-00008265 - version 1]