A high-performance architecture and BDD-based synthesis methodology for packet classification

A high-performance architecture and BDD-based synthesis methodology for packet classification

A Reconfigurable Architecture and Associated Synthesis Methodology for High Speed Packet Classification

Packet classification is a computationally intensive task that routers need to perform at line speed in order to implement features such as QoS, access control, and VPNs. A classification rule-set can be naturally associated with a Boolean function mapping the packet header to an action. Thus it is natural to look at logic synthesis techniques. However there are two major differences from a gen...

High Performance Packet Classification

In this proposal, we seek to develop methods for packet classification that can deliver high performance (e.g. wire speed processing at 10 Gb/s) while being reasonably cost-effective (e.g. memory-efficient and having low hardware complexity). In particular, we discuss a new approach involving extended TCAMs. This new approach eliminates the problems that preclude TCAMs from being considered via...

A Partitioning Methodology for BDD-Based Verification

The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this problem based on state space partitioning of functions as well as relations. We investigate the key questions of how to perform partitioning in reachability based verification and provide suitable algorithms. We also addre...

A multi-pipeline architecture for high-speed packet classification

When a packet arrives at a flow-aware router, it is subject to a number of lookup and classification operations. The packet is first checked against an access control list and/or firewall to determine whether it will be accepted or rejected. This classification function supports packet filtering and provides IPSec security associations. A second classification is used to regulate the traffic on...