Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Safwat G. Zaky

dblp:z/SGZaky · DBLP profile ↗
← Back
14ranked-venue papers
0as first author
0since 2021 · last 2010
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 9Software engineering, systems software and programming languages · 3Computer networks · 2Artificial intelligence and machine learning · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Electronic design automation · 56% Performance modeling and evaluation · 15% Integrated circuit design · 15%
Computer networks
2 papers
Internet architecture and protocols · 98% Wireless networking · 2%

Topics — the 18 heaviest of 19, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
logic synthesis
0.031993
Goal-oriented decomposition of switching functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991
Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986
Electronic design automation › logic synthesis
boolean function decomposition
0.021993
Goal-oriented decomposition of switching functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993
Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986
Internet architecture and protocols › local area network
ring network
0.021991
A Hybrid Token/Insertion Ring LAN · INFOCOM 1991
TORNET: A local area network · SIGCOMM 1981
Internet architecture and protocols › link-layer protocols
local area network protocol
0.011991
A Hybrid Token/Insertion Ring LAN · INFOCOM 1991
Internet architecture and protocols › local area network › ring network
token ring
0.011991
A Hybrid Token/Insertion Ring LAN · INFOCOM 1991
Electronic design automation › logic synthesis
multivalued logic synthesis
0.011991
Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991
Integrated circuit design › analog and mixed-signal circuits › analog circuit design
charge-coupled device circuits
0.021991
Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986
Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991
Interconnection networks and networks-on-chip › bus-based interconnection
multiple bus network
0.011988
Communication performance in multiple-bus systems · IEEE Trans. Computers 1988
Performance modeling and evaluation
queueing models
0.011988
Communication performance in multiple-bus systems · IEEE Trans. Computers 1988
Integrated circuit design › digital circuit design
multivalued logic circuit
0.011986
Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986
Performance modeling and evaluation
network performance analysis
0.011991
A Hybrid Token/Insertion Ring LAN · INFOCOM 1991
Performance modeling and evaluation
simulation
0.011991
A Hybrid Token/Insertion Ring LAN · INFOCOM 1991
Internet architecture and protocols
local area network
0.011981
TORNET: A local area network · SIGCOMM 1981
Internet architecture and protocols › local area network
slotted ring
0.011981
TORNET: A local area network · SIGCOMM 1981
Memory systems › memory management › virtual memory
page fault handling
0.011980
A Microprocessor-Based Virtual Memory System · ISCA 1980
Memory systems › memory management
virtual memory
0.011980
A Microprocessor-Based Virtual Memory System · ISCA 1980
Performance modeling and evaluation
benchmarking
0.011974
On Relating Small Computer Performance to Design Parameters · ISCA 1974
Wireless networking
medium access control
0.011981
TORNET: A local area network · SIGCOMM 1981

Methods — techniques the papers use, named apart from their topics

simulation · 0.0queueing analysis · 0.0sum-of-products synthesis · 0.0function decomposition · 0.0queueing model · 0.0closed-form solution · 0.0threshold function decomposition · 0.0fixed-length packet format · 0.0dedicated processor for memory management · 0.0regression analysis · 0.0
YearPublicationVenuePosition
2010 Using variable clocking to reduce leakage in synchronous circuits
abstract
There is a growing demand for high-performance, low-power systems, particularly in portable devices. New approaches to design are needed in technologies with feature sizes of 90 nm and below to reduce leakage power and to deal with process variations, which force designers to use increasingly conservative delay estimations. This paper presents a variable clock generator for a conventionally-designed synchronous circuit core. The clock frequency adjusts automatically to inter-and intra-chip process, voltage and temperature variations, making it possible to design the circuit assuming typical rather than worst-case conditions. The resulting circuit uses much fewer high-speed, low-voltage-threshold cells, and consequently has significantly reduced leakage power. Post-layout test results on a 32-bit microprocessor implemented in 90-nm technology showed 10X less leakage and 19% less dynamic power when operating under typical conditions, compared to a conventional, fixed-frequency implementation. The system is functional under all PVT corners.
Navid Toosizadeh, Safwat G. Zaky, Jianwen Zhu
ICCD2
2009 VariPipe: Low-overhead variable-clock synchronous pipelines
abstract
Synchronous pipelines usually have a fixed clock frequency determined by the worst-case process-voltage-temperature (PVT) analysis of the most critical path. Higher operating frequencies are possible under typical PVT conditions, especially when the most critical path is not triggered. This paper introduces a design methodology that uses asynchronous design to generate the clock of a synchronous pipeline. The result is a variable clock period that changes cycle-by-cycle according to the current operations in the pipeline and the current PVT conditions. The paper also presents a simple design flow to implement variable-clock systems with standard cells using conventional synchronous design tools. The variable-clock pipeline technique has been tested on a 32-bit microprocessor in 90 nm technology. Post-layout simulations with three sets of benchmarks demonstrate that the variable-clock processor has a two-fold performance advantage over its fixed-clock counterpart. The overhead of the added clock generation circuit is merely 2.6% in area and 3% in energy consumption, compared to an earlier proposal that costs 100% overhead.
Navid Toosizadeh, Safwat G. Zaky, Jianwen Zhu
ICCD2
2009 Application of Concurrency in the Asynchronous Design of Write-after-read Operations
abstract
This paper introduces enhancements to the synthesis of circuits that involve write-afterread (WAR) operations and use the four-phase handshake protocol. The paper demonstrates that the use of edge-triggering makes possible many useful trade-offs among speed, area and powerdelay product. Significant increases in speed are possible as a result of increased concurrency in the circuit's operation, which compensates for much of the penalty associated with the down phase of the four-phase protocol. It is also shown that concurrency can be increased by the judicious insertion of T-elements in the system's control structure. Simulation results for a 16-bit accumulator showed a speed increase of 50% and a reduction of 23% in the power-delay product. The speed of a radix-4 Booth multiplier increased by over 27% and its area and energy consumption were reduced by 5%. These results were derived using test circuits synthesized by Balsa and implemented in Synopsys using 180-nm technology.
Navid Toosizadeh, Safwat G. Zaky
Fundam. Informaticae2
1993 Goal-oriented decomposition of switching functions
abstract
A method for decomposing combinational functions for the purpose of obtaining a multilevel synthesis is proposed. A cascade of mapping stages is used to transform the function being synthesized into a simple one called the goal function. The goal function-usually a one-variable function-is selected at the outset and then used to guide the definition of the transformations to be implemented by the mapping stages. The resulting circuits are comparable in size to those derived from minimal prime-implicant covers. However, goal-oriented synthesis is faster, yields circuits that are easier to test, and offers more flexibility in the choice of gates.>
Liliana Díaz-Olavarrieta, K. Illanko, Safwat G. Zaky
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
1991 A Hybrid Token/Insertion Ring LAN
abstract
A novel, hybrid protocol LAN called TORNET2 is proposed, and its performance is evaluated. TORNET2 is a ring intended for high-speed applications in the 100 Mb/s range. Short-packet, high-priority traffic is handled by the register insertion technique. Combining this protocol with the early-release token protocol for handling low-priority asynchronous traffic is the novel aspect of TORNET2. The hybrid protocol operates in such a way that high-priority packets may be embedded in low-priority packets. This results in the best possible transfer delay for the high-priority traffic. In fact, the high-priority traffic is unaffected by the presence of low-priority traffic. Low-priority traffic is not locked out by high-priority traffic, but its transfer delay performance degrades as the volume of high-priority traffic increases. An approximate performance analysis of the TORNET2 network along with simulation results to verify the analysis is presented.>
Zvonko G. Vranesic, V. Carl Hamacher, A. K. Sanwalka, Safwat G. Zaky
INFOCOM4
1991 Algorithmic Synthesis of MVL Functions for CCD Implementation
abstract
Algorithms for synthesis of four-valued one- and two-variable functions for CCD (charge coupled device) implementation are proposed. One-variable synthesis is based on the observation that the cost of a realization of a function f(x) increases in the presence of breaks, or negative transitions, in the value of f as x increases. The function is decomposed to minimize the number of such transitions. Two-variable functions are synthesized as a sum of products of literals, taking advantage of literals that are easily implemented in CCD technology. It is concluded that the proposed algorithms perform better than those published previously.>
Mostafa I. H. Abd-El-Barr, Zvonko G. Vranesic, Safwat G. Zaky
IEEE Trans. Computers3
1988 Direct synthesis of mapping circuits
abstract
In the context of mapping-based methods for multilevel circuit synthesis, the authors propose a method, called the direct implementation procedure (DIP), to synthesize combinational functions. An algebra is defined in which a set of mappings together with a parallel composition operation can produce arbitrary mappings. The resulting mappings can be easily implemented as macrocells. The DIP procedure is simpler than existing methods, and takes advantage of the property of mappings which produces fanout-free circuits. Thus, simple and easily testable combinational circuits can be synthesized using DIP and a mapping-based strategy such as the goal-oriented method.>
Liliana Díaz-Olavarrieta, Safwat G. Zaky
ICCD2
1988 Communication performance in multiple-bus systems
abstract
A simple queueing model is presented for studying the effect of multiple-bus interconnection networks on the performance of asynchronous multiprocessor systems. The proposed model is suitable for systems in which each processor has a local memory and is thus able to continue processing while waiting for a response from the global memory. An approximate, closed-form solution is given that is simple and easy to use for any number of processors, buses, or memory modules and for arbitrary memory block size. The model is used to study the access time of the global memory as a function of the number of buses for different local-memory/global-memory traffic rates.>
Safwat G. Zaky
IEEE Trans. Computers2
1986 Fingerprint identification using graph matching
D. K. Isenor, Safwat G. Zaky
Pattern Recognit.2
1986 Synthesis of Multivalued Multithreshold Functions for CCD Implementation
abstract
Basic multivalued building blocks constructed using CCD (charge-coupled devices) technology are presented. They are used to realize simple threshold functions. Existing techniques for decomposition of multivalued multithreshold functions into simpler subfunctions are reviewed. Usage of the CCD technology in implementation of these subfunctions is discussed. Two new decomposition techniques are proposed. Their aim is to obtain realizations that are better suited to CCD technology in terms of the maximum number of thresholds per element and the generation of negative weights. Synthesis techniques based on the proposed decompositions are presented and compared. Although 4-valued logic functions are stressed, the techniques are, in principle, applicable to functions of any radix.
Mostafa I. H. Abd-El-Barr, Safwat G. Zaky, Zvonko G. Vranesic
IEEE Trans. Computers2
1985 SRE-A Syntax Recognizing Editor
abstract
Abstract This paper presents a syntax‐directed editor dubbed SRE, for syntax recognizing editor. Unlike other syntax‐directed editors, SRE enables the user to edit programs with nearly the same natural and unrestrictive ease as a conventional text editor. In addition, it helps identify syntax errors and many typing errors before leaving the editor and attempting to compile a program. Programs are also formatted during entry, thereby providing immediate visual feedback of the recognized structure. The editor replaces the scanner/parser pass of a conventional compiler and thus reduces compilation time substantially.
Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky
Softw. Pract. Exp.3
1981 TORNET: A local area network
abstract
TORNET is an experimental local area computer network presently being designed and built in the Computer Group Laboratory of the Department of Electrical Engineering at the University of Toronto. The network consists of a number of local rings, each attached to a central ring. The local rings employ a variation on the slotted-ring format that uses a limited insertion technique to achieve reasonable response times for character traffic among many devices and small computers. Two fixed-length packet formats (one byte or 128 bytes of data) are used on the local rings. Only the longer format is used on the central ring which generally provides record level access to shared specialized equipment.
Zvonko G. Vranesic, V. Carl Hamacher, Wayne M. Loucks, Safwat G. Zaky
SIGCOMM4
1980 A Microprocessor-Based Virtual Memory System
abstract
This paper presents a virtual memory system which may be connected to the memory bus of a host computer. The system is based on the use of a separate processor to interface to the backing store and perform all the processing related to managing the virtual memory. The proposed approach provides a virtual memory that is transparent to the host processor, with one exception. When a memory reference generated by the host results in a page fault, a long delay is encountered. This delay corresponds to the time taken by the virtual memory controller to carry out a page transfer.
M. D. Ruggiero, Safwat G. Zaky
ISCA2
1974 On Relating Small Computer Performance to Design Parameters
abstract
This paper presents a method for correlating performance measures of small computers to design parameters. An experiment is described in which execution times and memory space requirements are gathered for three small benchmark kernels when run on fifteen small computers. The benchmarks are drawn from three different application areas. All of them exercise only the CPU ↔ memory area of the machines, and I/0 operations are not involved.Using standard regression analysis techniques, this data is then used to calculate coefficients in empirical equations which relate the performance measures, time and space, to easily quantifiable design parameters of the machines.
S. Rannem, V. Carl Hamacher, Safwat G. Zaky, P. Connolly
ISCA3