Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Akira Sugimoto, Shigeru Abe, Masahiro Kuroda, Yukio Kato |
An object-oriented visual simulator for microprogram development. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
55 | Tomlinson Gene Rauscher, Ashok K. Agrawala |
Developing application oriented computer architectures on general purpose microprogrammable machines. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
52 | Curtis Abbott |
A Symbolic Simulator for Microprogram Development. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
Lisp applications, microprogram development, symbolic debugging, symbolic execution, microprogramming, processor simulation |
46 | Wei Zhao, Christos A. Papachristou |
Architectural partitioning of control memory for application specific programmable processors. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
application specific programmable processors, control memory, distributed microcode memory model, microcode memory, repetitive microcodes, distributed memory systems, memory architecture, programmability, microprogram, datapaths, firmware, memory module |
46 | Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu |
Extending VLSI design with higher-order logic. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD |
43 | Hélène Collavizza |
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Haque Mohammad Munirul, Tomoaki Hasegawa, Michitaka Kameyama |
Evaluation of Multiple-Valued Packet Multiplexing Scheme for Network-on-Chip Architecture. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Gregory R. Lloyd, Andries van Dam |
Design considerations for microprogramming languages. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
27 | Brian C. McKinney, Fayez El Guibaly |
A Multiple-Access Pipeline Architecture for Digital Signal Processing. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
multiple-access pipeline architecture, CMOS processor, processing concurrency, microprogram control, floating-point data, parallel architectures, digital signal processing, digital arithmetic, computerised signal processing, arithmetic logic unit |
27 | Robert J. Sheraga, John L. Gieser |
Experiments in Automatic Microcode Generation. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
Automatic microcode generation, high level microprogramming languages, horizontally microprogrammed processors, microprogram compilers, microprogramming |
27 | Masahiro Tsuchiya, Mario J. Gonzalez |
Toward Optimization of Horizontal Microprograms. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
concurrent microoperations, horizontal microprogram, Code optimization, resource contention |
25 | Maryam Rajabalipanah, Seyedeh Maryam Ghasemi, Nooshin Nosrati, Katayoon Basharkhah, Saba Yousefzadeh, Zainalabedin Navabi |
Reducing DFT hardware overhead by use of a test microprogram in a microprogrammed hardware accelerator. |
DFT |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Larysa Titarenko, Lukasz Smolinski |
Hardware reduction for compositional microprogram control unit dedicated for CPLD systems. |
EWDTS |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Roman Babakov, Larysa Titarenko |
Compositional microprogram control unit with operational automaton of transitions. |
EWDTS |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Larysa Titarenko, Roman Babakov |
Compositional Microprogram Control Unit with Operational Automaton of Transitions. |
PDeS |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Larysa Titarenko, Lukasz Smolinski |
Optimization of microprogram control unit with code sharing. |
EWDTS |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Larysa Titarenko, Jacek Bieganowski |
Microprogram control unit with code sharing and extended microinstruction format. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Barkalov 0001, Larysa Titarenko |
Logic Synthesis for Compositional Microprogram Control Units |
|
2008 |
DOI RDF |
|
25 | John L. Donaldson |
A microprogram simulator and compiler for an enhanced version of Tanenbaum's MIC-1 machine. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
25 | A. A. Wardak, G. A. King, Rodney Lionel Rhodes |
A microprogram-based 3-D image generation system using the Am29300 family. |
Microprocess. Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Martin S. Gilbert, Ramalingam Sridhar |
AMEC - Asynchronous microprogram execution controller. |
Microprocess. Microprogramming |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Luis A. Merayo, Juan I. Solana, Luisa Mola Morales |
A microprogram-based hardware implementation of the Leaky Bucket algorithm. |
Microprocess. Microprogramming |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Hiroki Koike, Toshio Takeshima, Masahide Takada |
A BIST scheme using microprogram ROM for large capacity memories. |
ITC |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Colin C. Charlton, Paul H. Leng, Dennis M. Wilkinson |
A microprogram meta-disassembler. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
25 | R. Rauscher, J. Westendorf |
A system for verification of interactive microprogram transformations. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Akira Sugimoto, Shigeru Abe, Masahiro Kuroda, Sachio Katou |
An object-oriented approach for interactive microprogram simulator. |
Syst. Comput. Jpn. |
1988 |
DBLP DOI BibTeX RDF |
|
25 | John L. Donaldson |
MicMac: a microprogram simulator for courses in computer organization. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Jan W. M. Jacobs, Roger J. H. Hacking |
An integrated microprogram development methodology based on APL. |
APL |
1987 |
DBLP DOI BibTeX RDF |
APL |
25 | Naixing Li, Yi Tang, Shiyi Xu |
BBMSS: A bit-splice based microprogram simulation system. |
MICRO |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Kazutoshi Takahashi, Etsuo Takahashi, Tatsushige Bitoh, Takao Sugimoto |
A new universal microprogram converter. |
MICRO |
1984 |
DBLP BibTeX RDF |
|
25 | Pradip K. Srimani, Bhabani P. Sinha |
A simple way to near minimization of microprogram control memory. |
Int. J. Parallel Program. |
1983 |
DBLP DOI BibTeX RDF |
|
25 | Yoshikuni Okada, Hiroaki Tajima, Ryoichi Mori |
A Reconfigurable Parallel Processor with Microprogram Control. |
IEEE Micro |
1982 |
DBLP DOI BibTeX RDF |
|
25 | Marco Mezzalama, Paolo Prinetto |
A Machine-independent Approach to Microprogram Synthesis. |
Softw. Pract. Exp. |
1982 |
DBLP DOI BibTeX RDF |
|
25 | Robert E. Skibbe |
PACE - a microprogram evaluation system. |
MICRO |
1982 |
DBLP BibTeX RDF |
|
25 | Takanobu Baba, Hiroshi Hagiwara |
The MPG System: A Machine-Independent Efficient Microprogram Generator. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
high-level microprogramming language, machine independence, microinstruction composition, sequencing and addressing, simulation, optimization, Compilation |
25 | Glenford J. Myers, David G. Hocker |
The Use of Software Simulators in the Testing and Debugging of Microprogram Logic. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
testing, Debugging, microprogramming, processor simulation |
25 | Anthony P. Lucido, Rahul Chattergy, Udo W. Pooch |
A Survey of Microprogram Verification and Validation Methods. |
Comput. J. |
1981 |
DBLP DOI BibTeX RDF |
|
25 | Igor Hansen |
MIDAS - microprogram description and analysis system. |
MICRO |
1981 |
DBLP BibTeX RDF |
|
25 | Jorge Francisco Martínez-Carballido, V. Michael Powers |
General microprogram width reduction using generator sets. |
MICRO |
1981 |
DBLP BibTeX RDF |
|
25 | Pradip K. Srimani, Bhabani P. Sinha |
Some studies on microprogram optimization. |
MICRO |
1980 |
DBLP BibTeX RDF |
|
25 | Subrata Dasgupta |
The Organization of Microprogram Stores. |
ACM Comput. Surv. |
1979 |
DBLP DOI BibTeX RDF |
|
25 | Eiji Tamura, Mario Tokoro |
Hierarchical microprogram generating system. |
MICRO |
1979 |
DBLP BibTeX RDF |
|
25 | Marco Mezzalama, Paolo Prinetto |
Design and implementation of a flexible and interactive microprogram simulator. |
MICRO |
1979 |
DBLP BibTeX RDF |
|
25 | Phillip Crews, Laura Marie Leventhal |
Interactive microprogram validation: A Prime 400 testbed facility. |
MICRO |
1979 |
DBLP BibTeX RDF |
|
25 | V. Michael Powers, José H. Hernandez |
Microsystems Microprogram Assemblers for Bit Slice Microprocessors. |
Computer |
1978 |
DBLP DOI BibTeX RDF |
|
25 | Dono Van-Mierop, Leo Marcus, Steve Crocker |
Verification of the FTSC microprogram. |
MICRO |
1978 |
DBLP BibTeX RDF |
|
25 | William C. Carter, William H. Joyner Jr., Daniel Brand |
Microprogram verification considered necessary. |
AFIPS National Computer Conference |
1978 |
DBLP BibTeX RDF |
|
25 | Takanobu Baba |
A Microprogram Generating System-MPG. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
25 | Mario Tokoro, Eiji Tamura, Kazuhiko Takase, Kiichiro Tamaru |
An approach to microprogram optimization considering resource occupancy and instruction formats. |
MICRO |
1977 |
DBLP BibTeX RDF |
|
25 | Gerhard Zimmermann |
Microprogram structures for high level language elements. |
MICRO |
1977 |
DBLP BibTeX RDF |
|
25 | E. Douglas Jensen, Richard Y. Kain |
The Honeywell Modular Microprogram Machine: M3. |
ISCA |
1977 |
DBLP DOI BibTeX RDF |
|
25 | Samuel H. Fuller, G. A. Mathew |
Implementing microprogram storage with PLA's. |
SIGARCH Comput. Archit. News |
1976 |
DBLP DOI BibTeX RDF |
|
25 | David A. Patterson 0001 |
Strum: Structured Microprogram Development System for Correct Firmware. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
|
25 | Tilak Agerwala |
Microprogram Optimization: A Survey. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
|
25 | Thomas F. Storey |
Design of a microprogram control for a processor in an electronic switching system. |
Bell Syst. Tech. J. |
1976 |
DBLP DOI BibTeX RDF |
|
25 | Gideon Frieder |
Distributed microprogram architecture. |
ACM Annual Conference |
1976 |
DBLP DOI BibTeX RDF |
|
25 | William H. Joyner Jr., William C. Carter, George B. Leeman Jr. |
Automated proofs of microprogram correctness. |
MICRO |
1976 |
DBLP DOI BibTeX RDF |
|
25 | Igor Hansen, Jacek Leszczylowski |
Microprogram-Oriented Model of the Controlled Structure. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
25 | A. M. Abd-Alla, Laird H. Moffett |
Hardware implementation of loop trace and microprogram synthesis. |
ACM Annual Conference |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Douglas A. Anderson |
Computer Aids for the fabrication of large microprogram Read-Only Memories. |
ACM Annual Conference |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Vernon Coleman, Krishna Rallapalli |
A versatile microprogram sequencer. |
MICRO (2) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Clive Ghest |
A powerful microprogram control unit - the 6700. |
MICRO (2) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | George B. Leeman Jr., William C. Carter, Alexander Birman |
Some Techniques for Microprogram Validation. |
IFIP Congress |
1974 |
DBLP BibTeX RDF |
|
25 | John Tartar, Subrata Dasgupta |
A probabilistic model for the evaluation of microprogram performance. |
MICRO |
1974 |
DBLP DOI BibTeX RDF |
|
25 | Richard L. Kleir |
A representation for the analysis of microprogram operation. |
MICRO |
1974 |
DBLP DOI BibTeX RDF |
|
25 | R. Petzold, Lutz Richter, Heinz-Peter Röhrs |
A two level microprogram simulator. |
MICRO |
1974 |
DBLP DOI BibTeX RDF |
|
25 | Wilfried Rottmann |
MIKADO - a system for computer aided microprogram design. |
MICRO |
1974 |
DBLP DOI BibTeX RDF |
|
25 | Christopher Vickery |
Software aids for microprogram development. |
MICRO |
1974 |
DBLP DOI BibTeX RDF |
|
25 | Robert W. Cook, William H. Sisson, Thomas F. Storey, Wing N. Toy |
Design of a Self-Checking Microprogram Control. |
IEEE Trans. Computers |
1973 |
DBLP DOI BibTeX RDF |
|
25 | Richard T. Thomas |
Main memory for user microprogram residence - an analysis. |
MICRO |
1973 |
DBLP DOI BibTeX RDF |
|
25 | Mitsuhiro Hattori, Michiko Yano, Kiichi Fujino |
MPGS: a high-level language for microprogram generating system. |
ACM Annual Conference (1) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Gérard L. M. Noguez |
A standardized microprogram sequencing control with a push down storage. |
MICRO |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Y. S. Wu |
Architectural considerations of a signal processor under microprogram control. |
AFIPS Spring Joint Computing Conference |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Ray Polivka, Kent Haralson |
Microprogram training - an APL application. |
APL |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Steve J. Young |
A microprogram simulator. |
DAC |
1971 |
DBLP DOI BibTeX RDF |
|
25 | Ken-ichi Mori, Hiroshi Genchi, Sadakazu Watanabe, Sumio Katsuragi |
Microprogram controlled pattern processing in a handwritten mail reader-sorter. |
Pattern Recognit. |
1970 |
DBLP DOI BibTeX RDF |
|
25 | Edward P. Stabler |
Microprogram Transformations. |
IEEE Trans. Computers |
1970 |
DBLP DOI BibTeX RDF |
|
25 | Stuart G. Tucker |
Microprogram Control for System/360. |
IBM Syst. J. |
1967 |
DBLP DOI BibTeX RDF |
|
25 | William C. McGee, Harold E. Petersen |
Microprogram control for the experimental sciences. |
AFIPS Fall Joint Computing Conference (1) |
1965 |
DBLP DOI BibTeX RDF |
|
25 | M. W. Allen, Trevor Pearcey, John P. Penny, Gordon A. Rose, J. G. Sanderson |
CIRRUS, An Economical Multiprogram Computer with Microprogram Control. |
IEEE Trans. Electron. Comput. |
1963 |
DBLP DOI BibTeX RDF |
|
18 | Srimat T. Chakradhar, Murugan Sankaradass, Venkata Jakkula, Srihari Cadambi |
A dynamically configurable coprocessor for convolutional neural networks. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
dynamic reconfiguration, parallel computer architecture, convolutional neural networks |
18 | Pedro Ángel Castillo Valdivieso, G. Fernández, Antonio Mora García, Juan Julián Merelo Guervós, José Luis Bernier, Alberto Prieto |
Evolving machine microprograms. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
evolutionary computation techniques, optimization, computer architecture, microarchitecture, microprogramming, automatic design |
18 | Pedro Ángel Castillo Valdivieso, G. Fernández, Juan Julián Merelo Guervós, José Luis Bernier, Antonio Miguel Mora, Juan Luis Jiménez Laredo, Pablo García-Sánchez |
Evolving Machine Microprograms: Application to the CODE2 Microarchitecture. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
evolutionary computation techniques, optimization, computer architecture, microarchitecture, microprogramming, automatic design |
18 | David Jackson 0001 |
Automatic Synthesis of Instruction Decode Logic by Genetic Programming. |
EuroGP |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Sima, Stamatis Vassiliadis, Sorin Cotofana, Jos T. J. van Eijndhoven, Kees A. Vissers |
Field-Programmable Custom Computing Machines - A Taxonomy -. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Günther Bauer 0001, Hermann Kopetz |
Transparent Redundancy in the Time-Triggered Architecture. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Fault-Tolerance Layer, Transparent Redundancy, TTP/C, Time-Triggered Architecture |
18 | Chih-Tsun Huang, Jing-Reng Huang, Chi-Feng Wu, Cheng-Wen Wu, Tsin-Yuan Chang |
A Programmable BIST Core for Embedded DRAM. |
IEEE Des. Test Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mark William Kahrs |
Silicon compilation of very high level language. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Sunil R. Das, Amiya Nayak |
A survey on bit dimension optimization strategies of microprograms. |
MICRO |
1990 |
DBLP BibTeX RDF |
|
18 | Djahida Smati, Jerry P.-C. Hwang, Christos A. Papachristou |
SMDSS - a structured microcode development and simulation system. |
MICRO |
1990 |
DBLP BibTeX RDF |
|
18 | Yap Siong Chua, Charles N. Winton |
A Simulation Tool for Teaching CPU Design and Microprogramming Concepts. |
APL |
1989 |
DBLP DOI BibTeX RDF |
APL |
18 | Anshul Kumar, Shashi Kumar, P. Kulshreshtha, Sudipto Ghose |
Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Pierre A. von Kaenel |
Microprogramming a watch: tools for a course in computer organization. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
C |
18 | Robert A. Mueller, Joseph Varghese |
Retargetable Microcode Synthesis. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Jayaram Bhasker, Tariq Samad |
Compacting MIMOLA microcode. |
MICRO |
1987 |
DBLP DOI BibTeX RDF |
clique partitioning, synthesis, compaction, microprogramming |
18 | Takanobu Baba, Hiroshi Minakawa, Kenzo Okuda |
A visual microprogramming system. |
MICRO |
1987 |
DBLP DOI BibTeX RDF |
|
18 | W. J. Chen, G. N. Reddy |
A computer aided design automation system for developing microprogrammed processors: a design approach through HDLs. |
MICRO |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Dan I. Moldovan |
An associative array architecture intended for semantic network processing. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Perng-Yi Richard Ma, Ted G. Lewis |
Design of a Machine-Independent Optimizing System for Emulator Development. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
18 | François Bancilhon, Michel Scholl |
On Designing an I/O Processor for a Relational Data Base Machine. |
SIGMOD Conference |
1980 |
DBLP DOI BibTeX RDF |
|