-
2
-
-
33746158165
-
Teaching hardware description and verification
-
[Axelsson et al., 2005a]. IEEE
-
[Axelsson et al., 2005a] Axelsson, E., Björk, M., and Sheeran, M. (2005a). Teaching Hardware Description and verification. In International Conference on Microelectronic Systems Education, MSE. IEEE.
-
(2005)
International Conference on Microelectronic Systems Education, MSE
-
-
Axelsson, E.1
Björk, M.2
Sheeran, M.3
-
3
-
-
33646421634
-
Wired: Wire-aware circuit design
-
[Axelsson et al., 2005b], to appear, Lecture Notes in Computer Science. Springer
-
[Axelsson et al., 2005b] Axelsson, E., Claessen, K., and Sheeran, M. (2005b). Wired: wire-aware circuit design. In Correct Hardware Design and Verification Methods, CHARME, to appear, Lecture Notes in Computer Science. Springer.
-
(2005)
Correct Hardware Design and Verification Methods, CHARME
-
-
Axelsson, E.1
Claessen, K.2
Sheeran, M.3
-
4
-
-
0018005935
-
Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs
-
[Backus, 1978]
-
[Backus, 1978] Backus, J. (1978). Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs. Communications of the ACM, 21(8):165-180.
-
(1978)
Communications of the ACM
, vol.21
, Issue.8
, pp. 165-180
-
-
Backus, J.1
-
5
-
-
84941606588
-
An array processor for video picture motion estimation
-
[Bhandal et al., 1990]. Prentice-Hall, Inc.
-
[Bhandal et al., 1990] Bhandal, A. S., Considine, V., and Dixon, G. E. (1990). An array processor for video picture motion estimation. In Systolic array processors, pages 369-378. Prentice-Hall, Inc.
-
(1990)
Systolic Array Processors
, pp. 369-378
-
-
Bhandal, A.S.1
Considine, V.2
Dixon, G.E.3
-
6
-
-
0031606026
-
Lava: Hardware design in haskell
-
[Bjesse et al., 1998]. ACM
-
[Bjesse et al., 1998] Bjesse, P., Claessen, K., Sheeran, M., and Singh, S. (1998). Lava: Hardware Design in Haskell. In International Conference on Functional Programming, ICFP, pages 174-184. ACM.
-
(1998)
International Conference on Functional Programming, ICFP
, pp. 174-184
-
-
Bjesse, P.1
Claessen, K.2
Sheeran, M.3
Singh, S.4
-
7
-
-
0043282918
-
Three decades of HDLs, part 2: Conlan through verilog
-
[Borrione et al., 1992]
-
[Borrione et al., 1992] Borrione, D., Piloty, R., Hill, D., Lieberherr, K., and Moorby, P. (1992). Three Decades of HDLs, part 2: Conlan through Verilog. Design & Test of Computers, 9(3):54-63.
-
(1992)
Design & Test of Computers
, vol.9
, Issue.3
, pp. 54-63
-
-
Borrione, D.1
Piloty, R.2
Hill, D.3
Lieberherr, K.4
Moorby, P.5
-
8
-
-
24944522280
-
Functional languages and their application to the description of digital systems
-
[Boute, 1984]
-
[Boute, 1984] Boute, R. (1984). Functional languages and their application to the description of digital systems. Journal A, 25(1):27-33.
-
(1984)
Journal A
, vol.25
, Issue.1
, pp. 27-33
-
-
Boute, R.1
-
9
-
-
84957376851
-
VIS: A system for verification and synthesis
-
[Brayton, R.K. et al., 1996] Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV. Springer
-
[Brayton, R.K. et al., 1996] Brayton, R.K., Hachtel.G.D., Sangiovanni-Vincentelli, A., Somenzi, F., Aziz, A., Cheng, S.-T., Edwards, S., Khatri, S., Kukimoto, Y., Pardo, A., Qadeer, S., Ranjan, R.K., Sarwary, S., Shiple, T.R., Swamy, G., and Villa, G. (1996). VIS: a system for verification and synthesis. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science, pages 428-432. Springer.
-
(1996)
Lecture Notes in Computer Science
, vol.1102
, pp. 428-432
-
-
Brayton, R.K.1
Hachtel, G.D.2
Sangiovanni-Vincentelli, A.3
Somenzi, F.4
Aziz, A.5
Cheng, S.-T.6
Edwards, S.7
Khatri, S.8
Kukimoto, Y.9
Pardo, A.10
Qadeer, S.11
Ranjan, R.K.12
Sarwary, S.13
Shiple, T.R.14
Swamy, G.15
Villa, G.16
-
10
-
-
0020102009
-
A regular layout for parallel adders
-
[Brent and Kung, 1982]
-
[Brent and Kung, 1982] Brent, R. and Kung, H. (1982). A regular layout for parallel adders. IEEE Transactions on Computers, C-31:260-264.
-
(1982)
IEEE Transactions on Computers
, vol.C-31
, pp. 260-264
-
-
Brent, R.1
Kung, H.2
-
11
-
-
0031190775
-
The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor
-
[Brock and Hunt Jr., 1997]
-
[Brock and Hunt Jr., 1997] Brock, B. and Hunt Jr., W. (1997). The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. Formal Methods in System Design, 11(1):71-104.
-
(1997)
Formal Methods in System Design
, vol.11
, Issue.1
, pp. 71-104
-
-
Brock, B.1
Hunt Jr., W.2
-
12
-
-
0026908841
-
Delay optimization of carry-skip adders and block carry-lookahead adders using multi-dimensional dynamic programming
-
[Chan et al., 1992]
-
[Chan et al., 1992] Chan, P., Schlag, M., Thomborson, C., and Oklobdzija, V. (1992). Delay Optimization of Carry-Skip Adders and Block Carry-Lookahead Adders using Multi-dimensional Dynamic Programming. IEEE Transactions on Computers, 41(8):920-930.
-
(1992)
IEEE Transactions on Computers
, vol.41
, Issue.8
, pp. 920-930
-
-
Chan, P.1
Schlag, M.2
Thomborson, C.3
Oklobdzija, V.4
-
13
-
-
15944393328
-
Three decades of HDLs, part 1: CDL through TI-HDL
-
[Chu et al., 1992]
-
[Chu et al., 1992] Chu, Y., Dietmeyer, D., Duley, J., Hill, F., Barbacci, M., Rose, C., Ordy, G., Johnson, B., and Roberts, M. (1992). Three Decades of HDLs, part 1: CDL through TI-HDL. Design & Test of Computers, 9(2):69-81.
-
(1992)
Design & Test of Computers
, vol.9
, Issue.2
, pp. 69-81
-
-
Chu, Y.1
Dietmeyer, D.2
Duley, J.3
Hill, F.4
Barbacci, M.5
Rose, C.6
Ordy, G.7
Johnson, B.8
Roberts, M.9
-
14
-
-
84947206106
-
The design and verification of a sorter core
-
[Claessen et al., 2001] Correct Hardware Design and Verification Methods, CHARME. Springer
-
[Claessen et al., 2001] Claessen, K., Sheeran, M., and Singh, S. (2001). The Design and verification of a Sorter Core. In Correct Hardware Design and Verification Methods, CHARME, volume 2144 of Lecture Notes in Computer Science, pages 355-369. Springer.
-
(2001)
Lecture Notes in Computer Science
, vol.2144
, pp. 355-369
-
-
Claessen, K.1
Sheeran, M.2
Singh, S.3
-
17
-
-
11244256067
-
A re ective functional language for hardware design and theorem proving
-
[Grundy et al., 2003], Programming Research Group, Oxford University Computing Laboratory
-
[Grundy et al., 2003] Grundy, J., Melham, T., and O'Leary, J. (2003). A re ective functional language for hardware design and theorem proving. Research Report PRG-RR-03-16, Programming Research Group, Oxford University Computing Laboratory, http://www.comlab.ox.ac.uk/tom.melham/pub/Grundy-2003-RFL.pdf.
-
(2003)
Research Report
, vol.PRG-RR-03-16
-
-
Grundy, J.1
Melham, T.2
O'Leary, J.3
-
18
-
-
2742590801
-
Synchronous observers and the verification of reactive systems
-
[Halbwachs et al., 1993], Workshops in Computing. Springer
-
[Halbwachs et al., 1993] Halbwachs, N., Lagnier, F., and Raymond, P. (1993). Synchronous observers and the verification of reactive systems. In Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Workshops in Computing, pages 83-96. Springer.
-
(1993)
Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93
, pp. 83-96
-
-
Halbwachs, N.1
Lagnier, F.2
Raymond, P.3
-
20
-
-
24944578396
-
An algebra of scans
-
[Hinze, 2004] Mathematics of Program Construction. Springer
-
[Hinze, 2004] Hinze, R. (2004). An algebra of scans. In Mathematics of Program Construction, volume 3125 of Lecture Notes in Computer Science, pages 186-210. Springer.
-
(2004)
Lecture Notes in Computer Science
, vol.3125
, pp. 186-210
-
-
Hinze, R.1
-
21
-
-
84955566186
-
The design of a pretty-printing library
-
[Hughes, 1995] Advanced Functional Programming. Springer
-
[Hughes, 1995] Hughes, J. (1995). The Design of a Pretty-printing Library. In Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 53-96. Springer.
-
(1995)
Lecture Notes in Computer Science
, vol.925
, pp. 53-96
-
-
Hughes, J.1
-
22
-
-
24944442390
-
-
[Hunt Jr., 1985]. PhD thesis, University of Texas at Austin
-
[Hunt Jr., 1985] Hunt Jr., W. (1985). FM8501, A Veri ed Microprocessor. PhD thesis, University of Texas at Austin.
-
(1985)
FM8501, A Veri ed Microprocessor
-
-
Hunt Jr., W.1
-
23
-
-
0021190978
-
Applicative programming and digital design
-
[Johnson, 1984a]. ACM
-
[Johnson, 1984a] Johnson, S. (1984a). Applicative programming and digital design. In Principles of Programming Languages, pages 218-227. ACM.
-
(1984)
Principles of Programming Languages
, pp. 218-227
-
-
Johnson, S.1
-
25
-
-
0001933470
-
Circuit design in Ruby
-
[Jones and Sheeran, 1990] Staunstrup, J., editor. North-Holland
-
[Jones and Sheeran, 1990] Jones, G. and Sheeran, M. (1990). Circuit design in Ruby. In Staunstrup, J., editor, Formal Methods for VLSI Design, pages 13-70. North-Holland.
-
(1990)
Formal Methods for VLSI Design
, pp. 13-70
-
-
Jones, G.1
Sheeran, M.2
-
26
-
-
0000118661
-
Abstract interpretation: A semantics-based tool for program analysis
-
[Jones and Nielsen, 1994]. OUP
-
[Jones and Nielsen, 1994] Jones, N. and Nielsen, F. (1994). Abstract interpretation: A semantics-based tool for program analysis. In Handbook of Logic in Computer Science, pages 527-636. OUP.
-
(1994)
Handbook of Logic in Computer Science
, pp. 527-636
-
-
Jones, N.1
Nielsen, F.2
-
27
-
-
24944568375
-
A methodology for generating veri ed combinatorial circuits
-
[Kiselyov et al., 2004]. ACM Press
-
[Kiselyov et al., 2004] Kiselyov, O., Swadi, K., and Taha, W. (2004). A methodology for generating veri ed combinatorial circuits. In Fourth International Conference on Embedded Software (EMSOFT), pages 249-258. ACM Press.
-
(2004)
Fourth International Conference on Embedded Software (EMSOFT)
, pp. 249-258
-
-
Kiselyov, O.1
Swadi, K.2
Taha, W.3
-
29
-
-
0015651305
-
A parallel algorithm for the efficient solution of a general class of recurrence equations
-
[Kogge and Stone, 1973]
-
[Kogge and Stone, 1973] Kogge, P. and Stone, H. (1973). A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations. IEEE Transactions on Computers, C-22(8):786-793.
-
(1973)
IEEE Transactions on Computers
, vol.C-22
, Issue.8
, pp. 786-793
-
-
Kogge, P.1
Stone, H.2
-
31
-
-
1642543237
-
A new approach to constructing optimal parallel prefix circuits with small depth
-
[Lin and Hsiao, 2004]
-
[Lin and Hsiao, 2004] Lin, Y.-C. and Hsiao, J.-W. (2004). A new approach to constructing optimal parallel prefix circuits with small depth. Journal of Parallel and Distributed Computing, 64(1):97-107.
-
(2004)
Journal of Parallel and Distributed Computing
, vol.64
, Issue.1
, pp. 97-107
-
-
Lin, Y.-C.1
Hsiao, J.-W.2
-
32
-
-
0037335526
-
Constructing H4, a fast depth-size optimal parallel prefix circuit
-
[Lin et al., 2003]
-
[Lin et al., 2003] Lin, Y.-C., Hsu, Y.-H., and Liu, C.-K. (2003). Constructing H4, a Fast Depth-Size Optimal Parallel prefix Circuit. The Journal of Supercomputing, 24(3):279-304.
-
(2003)
The Journal of Supercomputing
, vol.24
, Issue.3
, pp. 279-304
-
-
Lin, Y.-C.1
Hsu, Y.-H.2
Liu, C.-K.3
-
33
-
-
0025802428
-
Analysing parametrised designs by non-standard interpretation
-
[Luk, 1990]. IEEE Computer Society Press
-
[Luk, 1990] Luk, W. (1990). Analysing parametrised designs by non-standard interpretation. In International Conference on Application-Specific Array Processors, pages 133-144. IEEE Computer Society Press.
-
(1990)
International Conference on Application-Specific Array Processors
, pp. 133-144
-
-
Luk, W.1
-
34
-
-
24944579833
-
From specification to parametrised architectures
-
[Luk and Jones, 1988] Milne, G., editor. North-Holland
-
[Luk and Jones, 1988] Luk, W. and Jones, G. (1988). From specification to parametrised architectures. In Milne, G., editor, The fusion of hardware design and verification. North-Holland.
-
(1988)
The Fusion of Hardware Design and Verification
-
-
Luk, W.1
Jones, G.2
-
35
-
-
0003028567
-
Computer-based tools for regular array design
-
[Luk et al., 1990]. Prentice-Hall, Inc.
-
[Luk et al., 1990] Luk, W., Jones, G., and Sheeran, M. (1990). Computer-based tools for regular array design. In Systolic array processors, pages 589-598. Prentice-Hall, Inc.
-
(1990)
Systolic Array Processors
, pp. 589-598
-
-
Luk, W.1
Jones, G.2
Sheeran, M.3
-
36
-
-
84957100595
-
Elementary microarchitecture algebra
-
[Matthews and Launchbury, 1999] International Conference on Computer-Aided verification. Springer
-
[Matthews and Launchbury, 1999] Matthews, J. and Launchbury, J. (1999). Elementary Microarchitecture Algebra. In International Conference on Computer-Aided verification, volume 1633 of Lecture Notes in Computer Science, pages 288-300. Springer.
-
(1999)
Lecture Notes in Computer Science
, vol.1633
, pp. 288-300
-
-
Matthews, J.1
Launchbury, J.2
-
39
-
-
0022249986
-
The design rationale of ELLA, a hardware design and description language
-
[Morrison et al., 1985]. North-Holland
-
[Morrison et al., 1985] Morrison, J., Peeling, N., and Thorp, T. (1985). The Design Rationale of ELLA, a Hardware Design and Description Language. In IFIP 7th International Symposium on Computer Hardware Description Languages and their Applications, pages 303-320. North-Holland.
-
(1985)
IFIP 7th International Symposium on Computer Hardware Description Languages and Their Applications
, pp. 303-320
-
-
Morrison, J.1
Peeling, N.2
Thorp, T.3
-
40
-
-
84947246665
-
Hardware synthesis using sa and application to processor design, invited talk
-
[Mycroft and Sharp, 2001] Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME. Springer
-
[Mycroft and Sharp, 2001] Mycroft, A. and Sharp, R. (2001). Hardware synthesis using sa and application to processor design, invited talk. In Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME, volume 2144 of Lecture Notes in Computer Science, pages 13-39. Springer.
-
(2001)
Lecture Notes in Computer Science
, vol.2144
, pp. 13-39
-
-
Mycroft, A.1
Sharp, R.2
-
41
-
-
0028510770
-
A correctness proof of parallel scan
-
[O'Donnell, 1994]
-
[O'Donnell, 1994] O'Donnell, J. (1994). A correctness proof of parallel scan. Parallel Processing Letters, 4(3):329-338.
-
(1994)
Parallel Processing Letters
, vol.4
, Issue.3
, pp. 329-338
-
-
O'Donnell, J.1
-
42
-
-
9744263271
-
Derivation of a logarithmic time carry lookahead addition circuit
-
[O'Donnell and Ruenger, 2004]
-
[O'Donnell and Ruenger, 2004] O'Donnell, J. and Ruenger, G. (2004). Derivation of a Logarithmic Time Carry Lookahead Addition Circuit. Journal of Functional Programming, 14(6):697-713.
-
(2004)
Journal of Functional Programming
, vol.14
, Issue.6
, pp. 697-713
-
-
O'Donnell, J.1
Ruenger, G.2
-
43
-
-
0040006597
-
Hydra: Hardware description in a functional language using recursion equations and high order combining forms
-
[O'Donnell, 1988] Milne, G., editor. North-Holland
-
[O'Donnell, 1988] O'Donnell, J. T. (1988). Hydra: Hardware description in a Functional Language using Recursion Equations and High Order Combining Forms. In Milne, G., editor, The fusion of hardware design and verification. North-Holland.
-
(1988)
The Fusion of Hardware Design and Verification
-
-
O'Donnell, J.T.1
-
44
-
-
24944515264
-
-
[OSCI, 2005]. Open SystemC Initiative
-
[OSCI, 2005] OSCI (2005). SystemC 2.1 Language Reference Manual. Open SystemC Initiative, www. systemc.org.
-
(2005)
SystemC 2.1 Language Reference Manual
-
-
-
45
-
-
84931364109
-
fp: An environment for the multilevel specification, analysis, and synthesis of hardware algorithms
-
[Patel et al., 1985] Functional Programming Languages and Computer Architecture. Springer
-
[Patel et al., 1985] Patel, D., Schlag, M., and Ercegovac, M. (1985). fp: An environment for the multilevel specification, analysis, and synthesis of hardware algorithms. In Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 238-255. Springer.
-
(1985)
Lecture Notes in Computer Science
, vol.201
, pp. 238-255
-
-
Patel, D.1
Schlag, M.2
Ercegovac, M.3
-
46
-
-
0142183312
-
What is beyond the RTL horizon for microprocessor and system design?, invited talk
-
[Roesner, 2003] Correct Hardware Design and Verification Methods. Springer
-
[Roesner, 2003] Roesner, W. (2003). What is beyond the RTL Horizon for Microprocessor and System Design?, invited talk. In Correct Hardware Design and Verification Methods, volume 2860 of Lecture Notes in Computer Science, page 1. Springer.
-
(2003)
Lecture Notes in Computer Science
, vol.2860
, pp. 1
-
-
Roesner, W.1
-
47
-
-
0036983358
-
Template metaprogramming for Haskell
-
[Sheard and Peyton Jones, 2002] Chakravarty, M. M. T., editor. ACM Press
-
[Sheard and Peyton Jones, 2002] Sheard, T. and Peyton Jones, S. (2002). Template metaprogramming for Haskell. In Chakravarty, M. M. T., editor, ACM SIGPLAN Haskell Workshop, pages 1-16. ACM Press.
-
(2002)
ACM SIGPLAN Haskell Workshop
, pp. 1-16
-
-
Sheard, T.1
Peyton Jones, S.2
-
48
-
-
0003596526
-
-
[Sheeran, 1983] D. Phil. Thesis, Programming Research Group, Oxford University
-
[Sheeran, 1983] Sheeran, M. (1983). μFP, an algebraic VLSI design language. D. Phil. Thesis, Programming Research Group, Oxford University.
-
(1983)
μFP, an Algebraic VLSI Design Language
-
-
Sheeran, M.1
-
49
-
-
0021654012
-
muFP, a Language for VLSI Design
-
[Sheeran, 1984]. ACM
-
[Sheeran, 1984] Sheeran, M. (1984). muFP, A Language for VLSI Design. In LISP and Functional Programming, pages 104-112. ACM.
-
(1984)
LISP and Functional Programming
, pp. 104-112
-
-
Sheeran, M.1
-
50
-
-
0039414387
-
Retiming and slowdown in Ruby
-
[Sheeran, 1988] Milne, G., editor. North-Holland
-
[Sheeran, 1988] Sheeran, M. (1988). Retiming and Slowdown in Ruby. In Milne, G., editor, The fusion of hardware design and verification. North-Holland.
-
(1988)
The Fusion of Hardware Design and Verification
-
-
Sheeran, M.1
-
51
-
-
0142183311
-
Finding regularity: Describing and analysing circuits that are almost regular
-
[Sheeran, 2003] Correct Hardware Design and verification Methods, CHARME. Springer
-
[Sheeran, 2003] Sheeran, M. (2003). Finding regularity: describing and analysing circuits that are almost regular. In Correct Hardware Design and verification Methods, CHARME, volume 2860 of Lecture Notes in Computer Science, pages 4-18. Springer.
-
(2003)
Lecture Notes in Computer Science
, vol.2860
, pp. 4-18
-
-
Sheeran, M.1
-
52
-
-
24944472073
-
Generating fast multipliers using clever circuits
-
[Sheeran, 2004] Formal Methods in Computer-Aided Design, FMCAD. Springer
-
[Sheeran, 2004] Sheeran, M. (2004). Generating fast multipliers using clever circuits. In Formal Methods in Computer-Aided Design, FMCAD, volume 3312 of Lecture Notes in Computer Science, pages 6-20. Springer.
-
(2004)
Lecture Notes in Computer Science
, vol.3312
, pp. 6-20
-
-
Sheeran, M.1
-
53
-
-
70350787997
-
Checking safety properties using induction and a SAT-solver
-
[Sheeran et al., 2000] Formal Methods in Computer-Aided Design, FMCAD. Springer
-
[Sheeran et al., 2000] Sheeran, M., Singh, S., and Stålmarck, G. (2000). Checking Safety Properties Using Induction and a SAT-Solver. In Formal Methods in Computer-Aided Design, FMCAD, volume 1954 of Lecture Notes in Computer Science, pages 108-125. Springer.
-
(2000)
Lecture Notes in Computer Science
, vol.1954
, pp. 108-125
-
-
Sheeran, M.1
Singh, S.2
Stålmarck, G.3
-
54
-
-
24944513765
-
Circuit analysis by non-standard interpretation
-
[Singh, 1992] Designing Correct Circuits. North-Holland
-
[Singh, 1992] Singh, S. (1992). Circuit Analysis by Non-Standard Interpretation. In Designing Correct Circuits, volume A-5 of IFIP Transactions, pages 119-138. North-Holland.
-
(1992)
IFIP Transactions
, vol.A-5
, pp. 119-138
-
-
Singh, S.1
-
55
-
-
84913396280
-
Conditional-sum addition logic
-
[Sklansky, 1960]
-
[Sklansky, 1960] Sklansky, J. (1960). Conditional-sum addition logic. IRE Trans. Electron. Comput., EC-9:226-231.
-
(1960)
IRE Trans. Electron. Comput.
, vol.EC-9
, pp. 226-231
-
-
Sklansky, J.1
-
56
-
-
24944436995
-
Opportunities and challenges in building silicon products at 65nm and beyond, invited talk
-
[Spirakis, 2004]. IEEE
-
[Spirakis, 2004] Spirakis, G. (2004). Opportunities and challenges in building silicon products at 65nm and beyond, invited talk. In Design and Test in Europe (DATE), pages 2-3. IEEE.
-
(2004)
Design and Test in Europe (DATE)
, pp. 2-3
-
-
Spirakis, G.1
-
57
-
-
84911665501
-
Formal techniques for proving correctness of parameterized hardware using correctness preserving transformations
-
[Verkest et al., 1988] Milne, G., editor. North-Holland
-
[Verkest et al., 1988] Verkest, D., Johannes, P., Claessen, L., and De Man, H. (1988). Formal Techniques for Proving Correctness of Parameterized Hardware using Correctness Preserving Transformations. In Milne, G., editor, The fusion of hardware design and verification. North-Holland.
-
(1988)
The Fusion of Hardware Design and Verification
-
-
Verkest, D.1
Johannes, P.2
Claessen, L.3
De Man, H.4
-
58
-
-
0028484829
-
On circuits and numbers
-
[Vuillemin, 1994]
-
[Vuillemin, 1994] Vuillemin, J. (1994). On circuits and numbers. IEEE Transactions on Computers, 43:8:868-879.
-
(1994)
IEEE Transactions on Computers
, vol.43
, Issue.8
, pp. 868-879
-
-
Vuillemin, J.1
-
59
-
-
4143057885
-
Optimized synthesis of sum-of-products
-
[Zimmermann and Tran, 2003]. IEEE
-
[Zimmermann and Tran, 2003] Zimmermann, R. and Tran, D. (2003). Optimized synthesis of sum-of-products. In Thirty-Seventh Asilomar Conference on Signals, Systems and Computers, pages 867-872. IEEE.
-
(2003)
Thirty-seventh Asilomar Conference on Signals, Systems and Computers
, pp. 867-872
-
-
Zimmermann, R.1
Tran, D.2
-
60
-
-
84893788373
-
Power-performance optimal 64-bit carry-lookahead adders
-
[Zlatanovici and Nikolic, 2003]
-
[Zlatanovici and Nikolic, 2003] Zlatanovici, R. and Nikolic, B. (2003). Power-Performance Optimal 64-bit Carry-Lookahead Adders. In 29th European Solid-State Circuits Conference, ESSCIRC, pages 321-324.
-
(2003)
29th European Solid-state Circuits Conference, ESSCIRC
, pp. 321-324
-
-
Zlatanovici, R.1
Nikolic, B.2
|