Finding regularity: Describing and analysing circuits that are not quite regular

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2860, Issue , 2003, Pages 4-18

  Sheeran, Mary ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DESIGN;

C CODES; CIRCUIT DESIGNS; COMPARE AND SWAPS; GRAPHICS APPLICATIONS;

INTEGRATED CIRCUIT MANUFACTURE;

EID: 0142183311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39724-3_4     Document Type: Article

References (12)

1. B. C. Brock and W. A. Hunt, Jr.: The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor, Formal Methods in System Design, Vol. 11, Kluwer Academic Publishers, 1997.
2. K. Claessen and M. Sheeran: A Tutorial on Lava: A Hardware Description and Verification System, April 2000. http://www.cs.chalmers.se/∼koen/Lava/tutorial.ps
3. K. Claessen, M. Sheeran and S. Singh: The Design and Verification of a Sorter Core, Proc. Int. Conf. on Correct Hardware Design and Verification Methods, Margaria and Melham (eds.), Springer LNCS 2144, 2001.
4. P.E. Danielsson: Getting the median faster. Computer Graphics and Image Processing, Vol. 17, No. 1, 1981.
5. N. Devillard: Fast median search: an ANSI C implementation. http://ndevilla.free.fr/median/median/index.html
6. N. Een: Satzoo home page. http://www.cs.chalmers.se/∼een/Satzoo/
7. D. E. Knuth: The Art of Computer Programming, Volume 3, Sorting and Searching, Second Edition, Addison Wesley, 1998.
8. P. Kolte, R. Smith and W. Su: A Fast Median Filter Using AltiVec. In Proc. Int. Conf. on Computer Design, IEEE Press, 1999.
9. S. Jimbo and A. Maruoka: A Method of Constructing Selection Networks with O(log n) Depth SIAM Journal on Computing Volume 25, Number 4, 1996.
10. John O'Donnell: From transistors to computer architecture: teaching functional circuit specification in Hydra, in Proc. FPLE'95: Symposium on Functional Programming Languages in Education, Hartel and Plasmeijer (eds.), Springer LNCS 1022, 1995.
11. Alan W. Paeth: Median finding on a 3 x 3 grid, in Graphics Gems I, Glassner (ed.), Academic Press Professional, Inc., 1990.
12. D. C. Van Voorhis: A Generalization of the Divide-Sort-Merge Strategy for Sorting Networks. Technical Report STAN-CS-71-237, Stanford University, 1971.